comparison src/core.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 b4480a56cab7
children e15234fbb163
comparison
equal deleted inserted replaced
1662:edf86cef0dba 1663:0577be31a435
90 EPrim of Prim.t 90 EPrim of Prim.t
91 | ERel of int 91 | ERel of int
92 | ENamed of int 92 | ENamed of int
93 | ECon of datatype_kind * patCon * con list * exp option 93 | ECon of datatype_kind * patCon * con list * exp option
94 | EFfi of string * string 94 | EFfi of string * string
95 | EFfiApp of string * string * exp list 95 | EFfiApp of string * string * (exp * con) list
96 | EApp of exp * exp 96 | EApp of exp * exp
97 | EAbs of string * con * con * exp 97 | EAbs of string * con * con * exp
98 | ECApp of exp * con 98 | ECApp of exp * con
99 | ECAbs of string * kind * exp 99 | ECAbs of string * kind * exp
100 100