Mercurial > urweb

diff src/especialize.sml @ 1663:0577be31a435

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
author Adam Chlipala <adam@chlipala.net>
date Sat, 07 Jan 2012 15:56:22 -0500
parents 0af6bd2dd149
children 833402503855
line wrap: on
line diff
--- a/src/especialize.sml	Sat Jan 07 11:01:21 2012 -0500
+++ b/src/especialize.sml	Sat Jan 07 15:56:22 2012 -0500
@@ -180,7 +180,12 @@
                       | EFfi _ => (e, st)
                       | EFfiApp (m, x, es) =>
                         let
-                            val (es, st) = ListUtil.foldlMap (fn (e, st) => exp (env, e, st)) st es
+                            val (es, st) = ListUtil.foldlMap (fn ((e, t), st) =>
+                                                                 let
+                                                                     val (e, st) = exp (env, e, st)
+                                                                 in
+                                                                     ((e, t), st)
+                                                                 end) st es
                         in
                             ((EFfiApp (m, x, es), loc), st)
                         end