From 09b5839acfe26561fa87c89168133fc93c1083cc Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 7 Jan 2012 15:56:22 -0500
Subject: First part of changes to avoid depending on C function call argument
 order of evaluation (omitting normal Ur function calls, so far)

---
 src/corify.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/corify.sml')

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)
-- 
cgit v1.2.3