summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-07-18 12:53:26 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-07-18 12:53:26 -0400
commit016ab508175a1495e1e1e967467d481ac0258d5d (patch)
tree6b55accc9b388b5a6a51795811f7660a5ff5c682 /src/monoize.sml
parenta38526edd81a66ad3f34cf65a66f4ba866dd1490 (diff)
Key events get key code input
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index a6e38fd7..488f3b20 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2505,10 +2505,13 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
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 (