Mercurial > urweb

diff src/cjr_print.sml @ 418:ad7e854a518c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Metaform demos, minus prose
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Oct 2008 14:03:12 -0400
parents ebf27030ae3b
children b10132434adc
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Oct 23 12:58:35 2008 -0400
+++ b/src/cjr_print.sml	Thu Oct 23 14:03:12 2008 -0400
@@ -1466,7 +1466,8 @@
             let
                 fun unurlify' rf t =
                     case t of
-                        TFfi (m, t) => string ("uw_" ^ ident m ^ "_unurlify" ^ capitalize t ^ "(ctx, &request)")
+                        TFfi ("Basis", "unit") => string ("uw_unit_v")
+                      | TFfi (m, t) => string ("uw_" ^ ident m ^ "_unurlify" ^ capitalize t ^ "(ctx, &request)")
 
                       | TRecord 0 => string "uw_unit_v"
                       | TRecord i =>