diff src/cjr.sml @ 316:04ebfe929a98

Unpolyed a polymorphic function of two arguments
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Sep 2008 10:14:59 -0400
parents 52d4c60518d4
children e976b187d73a
line wrap: on
line diff
--- a/src/cjr.sml	Thu Sep 11 09:36:47 2008 -0400
+++ b/src/cjr.sml	Thu Sep 11 10:14:59 2008 -0400
@@ -64,7 +64,7 @@
        | ESome of typ * exp
        | EFfi of string * string
        | EFfiApp of string * string * exp list
-       | EApp of exp * exp
+       | EApp of exp * exp list
 
        | ERecord of int * (string * exp) list
        | EField of exp * string