Mercurial > urweb
comparison src/especialize.sml @ 1663:0577be31a435
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 |
comparison
equal
deleted
inserted
replaced
| 1662:edf86cef0dba | 1663:0577be31a435 |
|---|---|
| 178 ((ECon (dk, pc, cs, SOME e), loc), st) | 178 ((ECon (dk, pc, cs, SOME e), loc), st) |
| 179 end | 179 end |
| 180 | EFfi _ => (e, st) | 180 | EFfi _ => (e, st) |
| 181 | EFfiApp (m, x, es) => | 181 | EFfiApp (m, x, es) => |
| 182 let | 182 let |
| 183 val (es, st) = ListUtil.foldlMap (fn (e, st) => exp (env, e, st)) st es | 183 val (es, st) = ListUtil.foldlMap (fn ((e, t), st) => |
| 184 let | |
| 185 val (e, st) = exp (env, e, st) | |
| 186 in | |
| 187 ((e, t), st) | |
| 188 end) st es | |
| 184 in | 189 in |
| 185 ((EFfiApp (m, x, es), loc), st) | 190 ((EFfiApp (m, x, es), loc), st) |
| 186 end | 191 end |
| 187 | EApp (e1, e2) => | 192 | EApp (e1, e2) => |
| 188 let | 193 let |