diff src/monoize.sml @ 955:01a4d936395a

tail example working
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Sep 2009 17:11:23 -0400
parents 2a50da66ffd8
children 8c37699de273
line wrap: on
line diff
--- a/src/monoize.sml	Thu Sep 17 16:35:11 2009 -0400
+++ b/src/monoize.sml	Thu Sep 17 17:11:23 2009 -0400
@@ -3143,7 +3143,7 @@
                 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)