Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
417:e0e9e9eca1cb 418:ad7e854a518c
1464 1464
1465 fun unurlify (t, loc) = 1465 fun unurlify (t, loc) =
1466 let 1466 let
1467 fun unurlify' rf t = 1467 fun unurlify' rf t =
1468 case t of 1468 case t of
1469 TFfi (m, t) => string ("uw_" ^ ident m ^ "_unurlify" ^ capitalize t ^ "(ctx, &request)") 1469 TFfi ("Basis", "unit") => string ("uw_unit_v")
1470 | TFfi (m, t) => string ("uw_" ^ ident m ^ "_unurlify" ^ capitalize t ^ "(ctx, &request)")
1470 1471
1471 | TRecord 0 => string "uw_unit_v" 1472 | TRecord 0 => string "uw_unit_v"
1472 | TRecord i => 1473 | TRecord i =>
1473 let 1474 let
1474 val xts = E.lookupStruct env i 1475 val xts = E.lookupStruct env i