Changeset 10597 for src/Pugs/Eval

Timestamp:

06/11/06 09:36:46 (2 years ago)

Author:

audreyt

Message:

* Next, we adjust Eval.Var.inferExpCxt to use this static

inferencing engine, instead of the dynamic one as before.

Files:

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

src/Pugs/Eval/Var.hs

@@ -417 +417 @@
 subscript. See 'reduce' for @\{\}@ and @\[\]@.
 -}
+inferExpCxt :: Exp -> Eval Cxt
+inferExpCxt exp = return $ if isScalarLValue exp
+    then cxtItemAny
+    else cxtSlurpyAny
+{-
 inferExpCxt :: Exp -- ^ Expression to find the context of
          -> Eval Cxt
-inferExpCxt (Ann (Pos _) exp)            = inferExpCxt exp
+inferExpCxt (Ann (Pos {}) exp)           = inferExpCxt exp
 inferExpCxt (Ann (Cxt cxt) _)            = return cxt
 inferExpCxt (Syn "," _)            = return cxtSlurpyAny
@@ -425 +430 @@
 inferExpCxt (Syn "{}" [_, exp])    = inferExpCxt exp
 inferExpCxt (Syn (sigil:"{}") _) = return $ cxtOfSigil sigil
-inferExpCxt (Val (VList _))        = return cxtSlurpyAny
+inferExpCxt (Val (VList {}))       = return cxtSlurpyAny
 inferExpCxt (Val (VRef ref))       = do
     cls <- asks envClasses
@@ -432 +437 @@
         then cxtSlurpyAny
         else CxtItem typ
-inferExpCxt (Val _)                 = return cxtItemAny
+inferExpCxt (Val {})                = return cxtItemAny
 inferExpCxt (Var (sigil:_))         = return $ cxtOfSigil sigil
 inferExpCxt (App (Var "&list") _ _) = return cxtSlurpyAny
@@ -446 +451 @@
         _ -> cxtSlurpyAny
 inferExpCxt _                      = return cxtSlurpyAny
+-}
 
 {-|