diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-09-17 17:11:23 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-17 17:11:23 -0400 |
commit | ee157f852b85fc9350619ad6266a74846fd6cdf6 (patch) | |
tree | e331cb18c6b95e0eff9d5dc00133c88cec62613b /src/monoize.sml | |
parent | 13e3b7139dcee90106332ff4fb5b3c63fcf4a892 (diff) |
tail example working
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 83a520c8..865acff4 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -3143,7 +3143,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = val (ek, fm) = monoExp (env, st, fm) ek val e = (L'.ENamed n, loc) - val e = foldl (fn (e, arg) => (L'.EApp (e, arg), loc)) e es + val e = foldl (fn (arg, e) => (L'.EApp (e, arg), loc)) e es val e = (L'.EApp (e, ek), loc) in (e, fm) |