Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1108:82ac88b4e0a7 1109:631a3597c065
431 in 431 in
432 attrify (args, ft, (L'.EPrim (Prim.String (Settings.getUrlPrefix () ^ s)), loc), fm) 432 attrify (args, ft, (L'.EPrim (Prim.String (Settings.getUrlPrefix () ^ s)), loc), fm)
433 end 433 end
434 | _ => 434 | _ =>
435 case t of 435 case t of
436 L'.TFfi (m, x) => ((L'.EFfiApp (m, fk2s fk ^ "ify" ^ capitalize x, [e]), loc), fm) 436 L'.TFfi ("Basis", "unit") => ((L'.EPrim (Prim.String ""), loc), fm)
437 | L'.TFfi (m, x) => ((L'.EFfiApp (m, fk2s fk ^ "ify" ^ capitalize x, [e]), loc), fm)
437 438
438 | L'.TRecord [] => ((L'.EPrim (Prim.String ""), loc), fm) 439 | L'.TRecord [] => ((L'.EPrim (Prim.String ""), loc), fm)
439 | L'.TRecord ((x, t) :: xts) => 440 | L'.TRecord ((x, t) :: xts) =>
440 let 441 let
441 val (se, fm) = fooify fm ((L'.EField (e, x), loc), t) 442 val (se, fm) = fooify fm ((L'.EField (e, x), loc), t)