From ba5ce199f90e1e5947195c4de8a69b7a312d59f1 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 17 Sep 2009 17:11:23 -0400 Subject: tail example working --- src/monoize.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/monoize.sml') 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) -- cgit v1.2.3