From f19ae3bb20fa0c60e737606949b2bec6e3ae04f9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 22 Jul 2008 19:12:25 -0400 Subject: gform in proper order --- src/monoize.sml | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src') diff --git a/src/monoize.sml b/src/monoize.sml index e6c6b6c8..505d6d98 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -351,6 +351,17 @@ fun monoExp env (all as (e, loc)) = (L'.EPrim (Prim.String ""), loc)), loc)), loc) end + | L.EApp ((L.ECApp ( + (L.ECApp ( + (L.ECApp ( + (L.ECApp ( + (L.EFfi ("Basis", "useMore"), _), _), _), + _), _), + _), _), + _), _), + xml) => monoExp env xml + + | L.EApp (e1, e2) => (L'.EApp (monoExp env e1, monoExp env e2), loc) | L.EAbs (x, dom, ran, e) => (L'.EAbs (x, monoType env dom, monoType env ran, monoExp (Env.pushERel env x dom) e), loc) -- cgit v1.2.3