incomplete support for record types in the abstract syntax

2009-03-16 14:41:49 +00:00
parent e6da4bca2d
commit 6cdb1fcb06
5 changed files with 54 additions and 2 deletions
@@ -65,6 +65,7 @@ unify e1 e2 g =
  (App c a, App d b)            -> case unify c d g of 
                                     Ok g1 -> unify a b g1 
                                     _       -> prtBad "fail unify" e1
+  (RecType xs,RecType ys) | xs == ys -> return g
  _                             -> prtBad "fail unify" e1

 extend :: Unifier -> MetaSymb -> Term -> Err Unifier