Mercurial > urweb

comparison src/source.sml @ 403:8084fa9216de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents b85e6ba56618
children dfc8c991abd0
comparison
equal deleted inserted replaced
402:ebf27030ae3b 403:8084fa9216de
103 | PCon of string list * string * pat option 103 | PCon of string list * string * pat option
104 | PRecord of (string * pat) list * bool 104 | PRecord of (string * pat) list * bool
105 105
106 withtype pat = pat' located 106 withtype pat = pat' located
107 107
108 datatype inference =
109 Infer
110 | DontInfer
111 | TypesOnly
112
108 datatype exp' = 113 datatype exp' =
109 EAnnot of exp * con 114 EAnnot of exp * con
110 115
111 | EPrim of Prim.t 116 | EPrim of Prim.t
112 | EVar of string list * string 117 | EVar of string list * string * inference
113 | EApp of exp * exp 118 | EApp of exp * exp
114 | EAbs of string * con option * exp 119 | EAbs of string * con option * exp
115 | ECApp of exp * con 120 | ECApp of exp * con
116 | ECAbs of explicitness * string * kind * exp 121 | ECAbs of explicitness * string * kind * exp
117 | EDisjoint of con * con * exp 122 | EDisjoint of con * con * exp