From b404fdb16497e263484383464234f3ddf1d62150 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 11 Sep 2008 10:14:59 -0400 Subject: Unpolyed a polymorphic function of two arguments --- src/cjr.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/cjr.sml') diff --git a/src/cjr.sml b/src/cjr.sml index f9155980..9b6765dc 100644 --- a/src/cjr.sml +++ b/src/cjr.sml @@ -64,7 +64,7 @@ datatype exp' = | 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 -- cgit v1.2.3