Mercurial > urweb

diff src/prepare.sml @ 316:04ebfe929a98

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 aa89b73d83e4
line wrap: on
line diff
--- a/src/prepare.sml	Thu Sep 11 09:36:47 2008 -0400
+++ b/src/prepare.sml	Thu Sep 11 10:14:59 2008 -0400
@@ -74,12 +74,12 @@
         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) =>