Mercurial > urweb

diff src/core.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 b4480a56cab7
children e15234fbb163
line wrap: on
line diff
--- a/src/core.sml	Sat Jan 07 11:01:21 2012 -0500
+++ b/src/core.sml	Sat Jan 07 15:56:22 2012 -0500
@@ -92,7 +92,7 @@
        | ENamed of int
        | ECon of datatype_kind * patCon * con list * exp option
        | EFfi of string * string
-       | EFfiApp of string * string * exp list
+       | EFfiApp of string * string * (exp * con) list
        | EApp of exp * exp
        | EAbs of string * con * con * exp
        | ECApp of exp * con