Mercurial > urweb
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)