comparison src/mono.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 02fc16faecf3
children 177547450bb9
comparison
equal deleted inserted replaced
1662:edf86cef0dba 1663:0577be31a435
76 | ENamed of int 76 | ENamed of int
77 | ECon of datatype_kind * patCon * exp option 77 | ECon of datatype_kind * patCon * exp option
78 | ENone of typ 78 | ENone of typ
79 | ESome of typ * exp 79 | ESome of typ * exp
80 | EFfi of string * string 80 | EFfi of string * string
81 | EFfiApp of string * string * exp list 81 | EFfiApp of string * string * (exp * typ) list
82 | EApp of exp * exp 82 | EApp of exp * exp
83 | EAbs of string * typ * typ * exp 83 | EAbs of string * typ * typ * exp
84 84
85 | EUnop of string * exp 85 | EUnop of string * exp
86 | EBinop of binop_intness * string * exp * exp 86 | EBinop of binop_intness * string * exp * exp