diff options
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) => |