Mercurial > urweb

comparison src/mono.sml @ 252:7e9bd70ad3ce

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoized and optimized initial query test
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 13:58:47 -0400
parents 326fb4686f60
children 42dfb0d61cf0
comparison
equal deleted inserted replaced
251:326fb4686f60 252:7e9bd70ad3ce
73 | ESeq of exp * exp 73 | ESeq of exp * exp
74 | ELet of string * typ * exp * exp 74 | ELet of string * typ * exp * exp
75 75
76 | EClosure of int * exp list 76 | EClosure of int * exp list
77 77
78 | EQuery of { exps : (string * typ) list,
79 tables : (string * (string * typ) list) list,
80 state : typ,
81 query : exp,
82 body : exp,
83 initial : exp }
84
78 85
79 withtype exp = exp' located 86 withtype exp = exp' located
80 87
81 datatype decl' = 88 datatype decl' =
82 DDatatype of string * int * (string * int * typ option) list 89 DDatatype of string * int * (string * int * typ option) list