Mercurial > urweb
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