Changeset 13005 for src/Pugs/Eval

Timestamp:

09/04/06 05:22:48 (2 years ago)

Author:

audreyt

Message:

* Initial support for dispatch quantifier:

class C { method foo { 1 } };
class D is C { method foo { 2 } };
my $meth = 'foo';
my $obj = D.new;
$obj.*$meth; # (1, 2)

Currently only the .*$meth form is supported; also the return
value (an unconcatenated list of each method's return value)
is as of yet unspecced.

Files:

• src/Pugs/Eval/Var.hs (modified) (2 diffs)

src/Pugs/Eval/Var.hs

@@ -154 +154 @@
 _SUPER = __"SUPER"
 
+_NEXT :: ByteString
+_NEXT = __"NEXT"
+
+
 findSub :: Var        -- ^ Name, with leading @\&@.
         -> Maybe Exp  -- ^ Invocant
@@ -172 +176 @@
         pkg <- asks envPackage
         findSuperSub pkg var'
+    | Just var' <- dropVarPkg _NEXT _var = do
+        typ <- evalInvType _inv
+        findSuperSub (cast typ) var'
     | otherwise = do
         findBuiltinSub NoMatchingMulti _var