Mercurial > urweb
diff src/monoize.sml @ 895:ae9e22822ec5
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 |
line wrap: on
line diff
--- a/src/monoize.sml Sat Jul 18 12:37:19 2009 -0400 +++ b/src/monoize.sml Sat Jul 18 12:53:26 2009 -0400 @@ -2505,10 +2505,13 @@ result = (L'.TFfi ("Basis", "string"), loc)}), loc), fm) end - | (L'.TFun _, _) => + | (L'.TFun (dom, _), _) => let val s' = " " ^ lowercaseFirst x ^ "='" - val e = (L'.EApp (e, (L'.ERecord [], loc)), loc) + val e = case #1 dom of + L'.TRecord [] => (L'.EApp (e, (L'.ERecord [], loc)), loc) + | _ => (L'.EApp ((L'.EApp (e, (L'.EFfiApp ("Basis", "kc", []), loc)), + loc), (L'.ERecord [], loc)), loc) in ((L'.EStrcat (s, (L'.EStrcat (