Mercurial > urweb

diff src/monoize.sml @ 1109:631a3597c065

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper [un]urlification of unit
author Adam Chlipala <adamc@hcoop.net>
date Fri, 01 Jan 2010 12:48:06 -0500
parents 52571ca9b777
children 7a31e0cf25e9
line wrap: on
line diff
--- a/src/monoize.sml	Fri Jan 01 10:49:36 2010 -0500
+++ b/src/monoize.sml	Fri Jan 01 12:48:06 2010 -0500
@@ -433,7 +433,8 @@
                 end
               | _ =>
                 case t of
-                    L'.TFfi (m, x) => ((L'.EFfiApp (m, fk2s fk ^ "ify" ^ capitalize x, [e]), loc), fm)
+                    L'.TFfi ("Basis", "unit") => ((L'.EPrim (Prim.String ""), loc), fm)
+                  | L'.TFfi (m, x) => ((L'.EFfiApp (m, fk2s fk ^ "ify" ^ capitalize x, [e]), loc), fm)
 
                   | L'.TRecord [] => ((L'.EPrim (Prim.String ""), loc), fm)
                   | L'.TRecord ((x, t) :: xts) =>