Changeset 10617 for src/Pugs/Eval

Timestamp:

06/11/06 16:29:37 (2 years ago)

Author:

audreyt

Message:

* Support for prototype objects in typed declarators:

my Moose $x;
$x .= new; # this now works

Files:

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

src/Pugs/Eval/Var.hs

@@ -20 +20 @@
 
 findVar :: Var -> Eval (Maybe VRef)
+findVar (':':x:_) | x /= '*' = return Nothing
 findVar name = do
     rv <- findVarRef name
@@ -377 +378 @@
     sub <- fromVal val
     return $ subReturns sub
-inferExpType (App (Var "&new") (Just (Var (':':name))) _) = return $ mkType name
+inferExpType (App (Var "&new") (Just (Val (VType typ))) _) = return typ
 inferExpType (App (Var name) invs args) = do
     sub <- findSub name invs args