Changeset 3714 for src/Pugs/Prim/Match.hs

Timestamp:

05/23/05 05:19:44 (4 years ago)

Author:

autrijus

svk:copy_cache_prev:

5201

Message:

* Implement ($type_ref Type) too.

Files:

• src/Pugs/Prim/Match.hs (modified) (2 diffs)

src/Pugs/Prim/Match.hs

@@ -78 +78 @@
     op2Match x y'
 
-op2Match (VType typ) (VType t) = do
-    cls <- asks envClasses
-    return $ VBool (isaType cls (showType t) typ)
-
-op2Match x y@(VType _) = do
-    typ <- evalValType x
-    op2Match (VType typ) y
-
 op2Match x (VSubst (rx, subst)) | rxGlobal rx = do
     str         <- fromVal x
@@ -148 +140 @@
         (return $ VMatch match)
 
+op2Match (VRef x) y = do
+    x' <- readRef x
+    op2Match x' y
+
+op2Match (VType typ) (VType t) = do
+    cls <- asks envClasses
+    return $ VBool (isaType cls (showType t) typ)
+
+op2Match x y@(VType _) = do
+    typ <- evalValType x
+    op2Match (VType typ) y
+
 op2Match x y = op2Cmp (fromVal :: Val -> Eval VStr) (==) x y