Mercurial > urweb
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 |