comparison src/mono.sml @ 290:df00701f2323

'read' type class
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:53:30 -0400
parents 4260ad920c36
children 59dc042629b9
comparison
equal deleted inserted replaced
289:0cc956a3216f 290:df00701f2323
58 datatype exp' = 58 datatype exp' =
59 EPrim of Prim.t 59 EPrim of Prim.t
60 | ERel of int 60 | ERel of int
61 | ENamed of int 61 | ENamed of int
62 | ECon of datatype_kind * patCon * exp option 62 | ECon of datatype_kind * patCon * exp option
63 | ESome of typ * exp
63 | EFfi of string * string 64 | EFfi of string * string
64 | EFfiApp of string * string * exp list 65 | EFfiApp of string * string * exp list
65 | EApp of exp * exp 66 | EApp of exp * exp
66 | EAbs of string * typ * typ * exp 67 | EAbs of string * typ * typ * exp
67 68