Mercurial > urweb
comparison src/mono.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 | EAbs of string * typ * typ * exp | 68 | EAbs of string * typ * typ * exp |