Changeset 12176 for src/Pugs/AST.hs

Timestamp:

08/12/06 19:55:50 (2 years ago)

Author:

audreyt

Message:

* First cut at proper compile-time role mixin support, based on

discussion on #perl6 about the semantics of "does".

class C {};
class D does C {};
D.isa(C); # False
D.does(C); # True

Composition works, and overriding role methods should work as well,
but concrete class/package names is not yet renamed, and role conflicts
is not yet validated. Still, a step toward the right direction.

Files:

• src/Pugs/AST.hs (modified) (1 diff)

src/Pugs/AST.hs

@@ -199 +199 @@
 isEmptyParams _ = False
 
-newPackage :: String -> String -> [String] -> Exp
-newPackage cls name traits = Stmts metaObj (newType name)
+newPackage :: String -> String -> [String] -> [String] -> Exp
+newPackage cls name classes roles = Stmts metaObj (newType name)
     where
     metaObj = Sym SGlobal (':':'*':name) $! Syn ":="
         [ Var (':':'*':name)
-        , App (Var "&Object::new")
+        , App (Var "&META::new")
             (Just $ Val (VType $ mkType cls))
             [ Syn "named"
-                [ Val (VStr "traits")
-                , Val (VList $ map VStr traits)
+                [ Val (VStr "is")
+                , Val (VList $ map VStr classes)
+                ]
+            , Syn "named"
+                [ Val (VStr "does")
+                , Val (VList $ map VStr roles)
                 ]
             , Syn "named"