comparison src/cjr.sml @ 297:59dc042629b9

pquery working with all four types of columns
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 13:29:01 -0400
parents df00701f2323
children 52d4c60518d4
comparison
equal deleted inserted replaced
296:5dc11235129d 297:59dc042629b9
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 | ENone of typ
63 | ESome of typ * exp 64 | ESome of typ * exp
64 | EFfi of string * string 65 | EFfi of string * string
65 | EFfiApp of string * string * exp list 66 | EFfiApp of string * string * exp list
66 | EApp of exp * exp 67 | EApp of exp * exp
67 68