From 9da48d9f4d28eea826e0651a0aee761a964682f2 Mon Sep 17 00:00:00 2001
From: Karn Kallio <kkallio@eka>
Date: Fri, 6 May 2011 15:24:45 -0530
Subject: Corify Basis.unit to empty record; this is needed so that specialize
 can see that they are equivalent.

---
 src/corify.sml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/corify.sml')

diff --git a/src/corify.sml b/src/corify.sml
index 075047a2..706a4c2d 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -466,7 +466,11 @@ fun corifyCon st (c, loc) =
         in
             case St.lookupConByName st x of
                 St.CNormal n => (L'.CNamed n, loc)
-              | St.CFfi m => (L'.CFfi (m, x), loc)
+              | St.CFfi m => 
+                if (m, x) = ("Basis", "unit") then 
+                    (L'.TRecord (L'.CRecord ((L'.KType, loc), []), loc), loc)
+                else
+                    (L'.CFfi (m, x), loc)
         end
 
       | L.CApp (c1, c2) => (L'.CApp (corifyCon st c1, corifyCon st c2), loc)
-- 
cgit v1.2.3