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

Timestamp:

05/23/05 04:23:41 (4 years ago)

Author:

autrijus

svk:copy_cache_prev:

5201

Message:

* Type-to-type smartmatch, e.g. Int ~~ Num, now works.

Files:

• src/Pugs/Prim/Match.hs (modified) (1 diff)

src/Pugs/Prim/Match.hs

@@ -78 +78 @@
     op2Match x y'
 
-op2Match x (VType t) = do
-    typ <- evalValType x
+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