diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-07 15:56:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-07 15:56:22 -0500 |
| commit | a1cc396871330fca59e8ab1e463b2a9c7533b166 (patch) | |
| tree | 587292f9b176c383c7b6332cdc30a817e355fe1d /src/corify.sml | |
| parent | d68be1854bf01323248dead3adeef7b392f1dd1d (diff) | |
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/corify.sml b/src/corify.sml index d9e5d30c..bc14d408 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -562,8 +562,8 @@ fun corifyExp st (e, loc) = 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) |