diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-11 10:14:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-11 10:14:59 -0400 |
| commit | b404fdb16497e263484383464234f3ddf1d62150 (patch) | |
| tree | c8ffe0ed690301c79e9a40ece3de7727355e87b4 /src/prepare.sml | |
| parent | 7bc788c67ed9331773355ceeae4ace7923a6e914 (diff) | |
Unpolyed a polymorphic function of two arguments
Diffstat (limited to 'src/prepare.sml')
| -rw-r--r-- | src/prepare.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/prepare.sml b/src/prepare.sml index bb1af6cc..a6b6a4f3 100644 --- a/src/prepare.sml +++ b/src/prepare.sml @@ -74,12 +74,12 @@ fun prepExp (e as (_, loc), sns) = in ((EFfiApp (m, x, es), loc), sns) end - | EApp (e1, e2) => + | EApp (e1, es) => let val (e1, sns) = prepExp (e1, sns) - val (e2, sns) = prepExp (e2, sns) + val (es, sns) = ListUtil.foldlMap prepExp sns es in - ((EApp (e1, e2), loc), sns) + ((EApp (e1, es), loc), sns) end | ERecord (rn, xes) => |