Mercurial > urweb
diff src/corify.sml @ 1663:0577be31a435
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 07 Jan 2012 15:56:22 -0500 |
| parents | cccf8bf64b30 |
| children | 6a4461757829 |
line wrap: on
line diff
--- a/src/corify.sml Sat Jan 07 11:01:21 2012 -0500 +++ b/src/corify.sml Sat Jan 07 15:56:22 2012 -0500 @@ -562,8 +562,8 @@ fun makeApp n = let - val (actuals, _) = foldr (fn (_, (actuals, n)) => - ((L'.ERel n, loc) :: actuals, + val (actuals, _) = foldr (fn (t, (actuals, n)) => + (((L'.ERel n, loc), t) :: actuals, n + 1)) ([], n) args in (L'.EFfiApp (m, x, actuals), loc)