Mercurial > urweb

comparison src/mono.sml @ 1360:02fc16faecf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents b4480a56cab7
children 0577be31a435
comparison
equal deleted inserted replaced
1359:e525ad571e15 1360:02fc16faecf3
66 datatype effect = datatype Export.effect 66 datatype effect = datatype Export.effect
67 datatype export_kind = datatype Export.export_kind 67 datatype export_kind = datatype Export.export_kind
68 68
69 datatype failure_mode = datatype Settings.failure_mode 69 datatype failure_mode = datatype Settings.failure_mode
70 70
71 datatype binop_intness = Int | NotInt
72
71 datatype exp' = 73 datatype exp' =
72 EPrim of Prim.t 74 EPrim of Prim.t
73 | ERel of int 75 | ERel of int
74 | ENamed of int 76 | ENamed of int
75 | ECon of datatype_kind * patCon * exp option 77 | ECon of datatype_kind * patCon * exp option
79 | EFfiApp of string * string * exp list 81 | EFfiApp of string * string * exp list
80 | EApp of exp * exp 82 | EApp of exp * exp
81 | EAbs of string * typ * typ * exp 83 | EAbs of string * typ * typ * exp
82 84
83 | EUnop of string * exp 85 | EUnop of string * exp
84 | EBinop of string * exp * exp 86 | EBinop of binop_intness * string * exp * exp
85 87
86 | ERecord of (string * exp * typ) list 88 | ERecord of (string * exp * typ) list
87 | EField of exp * string 89 | EField of exp * string
88 90
89 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } 91 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }