Mercurial > urweb

diff src/monoize.sml @ 1573:34364e383bed

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
For new IF, fix Monoize typing and add to manual
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Oct 2011 09:04:41 -0400
parents 5530a8075b62
children e44be6ece475
line wrap: on
line diff
--- a/src/monoize.sml	Fri Oct 14 02:33:03 2011 -0430
+++ b/src/monoize.sml	Sat Oct 15 09:04:41 2011 -0400
@@ -2816,9 +2816,9 @@
                 val s = (L'.TFfi ("Basis", "string"), loc)
                 fun sc s = (L'.EPrim (Prim.String s), loc)
             in
-                ((L'.EAbs ("if", s, (L'.TFun (s, s), loc),
+                ((L'.EAbs ("if", s, (L'.TFun (s, (L'.TFun (s, s), loc)), loc),
                            (L'.EAbs ("then", s, (L'.TFun (s, s), loc),
-                                     (L'.EAbs ("else", s, (L'.TFun (s, s), loc),
+                                     (L'.EAbs ("else", s, s,
                                                strcat [sc "(CASE WHEN (",
                                                        (L'.ERel 2, loc),
                                                        sc ") THEN (",