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/mono.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index bf38c0bc..2c83d1bc 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -78,7 +78,7 @@ datatype exp' =
        | ENone of typ
        | ESome of typ * exp
        | EFfi of string * string
-       | EFfiApp of string * string * exp list
+       | EFfiApp of string * string * (exp * typ) list
        | EApp of exp * exp
        | EAbs of string * typ * typ * exp
 
-- 
cgit v1.2.3