comparison src/cjr.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 87156c44824f
children c1e3805e604e
comparison
equal deleted inserted replaced
1662:edf86cef0dba 1663:0577be31a435
64 | ENamed of int 64 | ENamed of int
65 | ECon of datatype_kind * patCon * exp option 65 | ECon of datatype_kind * patCon * exp option
66 | ENone of typ 66 | ENone of typ
67 | ESome of typ * exp 67 | ESome of typ * exp
68 | EFfi of string * string 68 | EFfi of string * string
69 | EFfiApp of string * string * exp list 69 | EFfiApp of string * string * (exp * typ) list
70 | EApp of exp * exp list 70 | EApp of exp * exp list
71 71
72 | EUnop of string * exp 72 | EUnop of string * exp
73 | EBinop of string * exp * exp 73 | EBinop of string * exp * exp
74 74