Mercurial > urweb

changeset 1455:913d9c2f55c9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify Basis.unit to empty record; this is needed so that specialize can see that they are equivalent.
author Karn Kallio <kkallio@eka>
date Fri, 06 May 2011 16:24:45 -0430
parents 96353138f016
children d674fb9499c4
files src/corify.sml
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/corify.sml	Sun May 01 00:26:08 2011 -0430
+++ b/src/corify.sml	Fri May 06 16:24:45 2011 -0430
@@ -466,7 +466,11 @@
         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)