From 9cae779ac513b3bfda9a53a44b0740e7e1b50dde Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 16 Mar 2009 14:41:49 +0000
Subject: incomplete support for record types in the abstract syntax

---
 src/GF/Grammar/Unify.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/GF/Grammar/Unify.hs')

diff --git a/src/GF/Grammar/Unify.hs b/src/GF/Grammar/Unify.hs
index 7deb5e90a..68f8b3352 100644
--- a/src/GF/Grammar/Unify.hs
+++ b/src/GF/Grammar/Unify.hs
@@ -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
-- 
cgit v1.2.3