Changeset 3708

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:

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

ChangeLog

@@ -71 +71 @@
   eat trailing whitespace.
 * `next` now re-evaluates condition in `loop` constructs.
+* Type-to-type smartmatch, e.g. `Int ~~ Num`, now works.
 
 == Changes for 6.2.3 (r3111) - May 12, 2005

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