Mercurial > urweb

comparison src/reduce.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 a99b743a3087
children 62c18ecbfec4
comparison
equal deleted inserted replaced
1662:edf86cef0dba 1663:0577be31a435
491 ((CName "Bind", loc), 491 ((CName "Bind", loc),
492 (EFfi ("Basis", "signal_bind"), loc), 492 (EFfi ("Basis", "signal_bind"), loc),
493 bindType (CFfi ("Basis", "signal"), loc) loc)], loc) 493 bindType (CFfi ("Basis", "signal"), loc) loc)], loc)
494 494
495 | EFfi _ => all 495 | EFfi _ => all
496 | EFfiApp (m, f, es) => (EFfiApp (m, f, map (exp env) es), loc) 496 | EFfiApp (m, f, es) => (EFfiApp (m, f, map (fn (e, t) => (exp env e, con env t)) es), loc)
497 497
498 (*| EApp ( 498 (*| EApp (
499 (EApp 499 (EApp
500 ((EApp ((ECApp ((ECApp ((ECApp ((EFfi ("Basis", "bind"), loc), _), _), t1), _), t2), _), 500 ((EApp ((ECApp ((ECApp ((ECApp ((EFfi ("Basis", "bind"), loc), _), _), t1), _), t2), _),
501 (EFfi ("Basis", "transaction_monad"), _)), _), 501 (EFfi ("Basis", "transaction_monad"), _)), _),