Mercurial > urweb

comparison src/monoize.sml @ 895:ae9e22822ec5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Key events get key code input
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 12:53:26 -0400
parents 034eeb099564
children 25a038a9194b
comparison
equal deleted inserted replaced
894:a3f58978ff32 895:ae9e22822ec5
2503 s)], 2503 s)],
2504 {disc = (L'.TFfi ("Basis", "bool"), loc), 2504 {disc = (L'.TFfi ("Basis", "bool"), loc),
2505 result = (L'.TFfi ("Basis", "string"), loc)}), loc), 2505 result = (L'.TFfi ("Basis", "string"), loc)}), loc),
2506 fm) 2506 fm)
2507 end 2507 end
2508 | (L'.TFun _, _) => 2508 | (L'.TFun (dom, _), _) =>
2509 let 2509 let
2510 val s' = " " ^ lowercaseFirst x ^ "='" 2510 val s' = " " ^ lowercaseFirst x ^ "='"
2511 val e = (L'.EApp (e, (L'.ERecord [], loc)), loc) 2511 val e = case #1 dom of
2512 L'.TRecord [] => (L'.EApp (e, (L'.ERecord [], loc)), loc)
2513 | _ => (L'.EApp ((L'.EApp (e, (L'.EFfiApp ("Basis", "kc", []), loc)),
2514 loc), (L'.ERecord [], loc)), loc)
2512 in 2515 in
2513 ((L'.EStrcat (s, 2516 ((L'.EStrcat (s,
2514 (L'.EStrcat ( 2517 (L'.EStrcat (
2515 (L'.EPrim (Prim.String s'), loc), 2518 (L'.EPrim (Prim.String s'), loc),
2516 (L'.EStrcat ( 2519 (L'.EStrcat (