Mercurial > urweb

diff src/cjr_print.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 72670131dace
children 7fc4e0087e50
line wrap: on
line diff
--- a/src/cjr_print.sml	Fri Jan 01 10:49:36 2010 -0500
+++ b/src/cjr_print.sml	Fri Jan 01 12:48:06 2010 -0500
@@ -565,14 +565,14 @@
     let
         fun unurlify' rf t =
             case t of
-                TFfi ("Basis", "unit") => string "uw_unit_v"
+                TFfi ("Basis", "unit") => string "uw_Basis_unurlifyUnit(ctx, &request)"
               | TFfi ("Basis", "string") => string (if fromClient then
                                                         "uw_Basis_unurlifyString_fromClient(ctx, &request)"
                                                     else
                                                         "uw_Basis_unurlifyString(ctx, &request)")
               | TFfi (m, t) => string ("uw_" ^ ident m ^ "_unurlify" ^ capitalize t ^ "(ctx, &request)")
 
-              | TRecord 0 => string "uw_unit_v"
+              | TRecord 0 => string "uw_Basis_unurlifyUnit(ctx, &request)"
               | TRecord i =>
                 let
                     val xts = E.lookupStruct env i