Mercurial > urweb

comparison src/mono.sml @ 1282:a9a500d22ebc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Roll back WHERE checking
author Adam Chlipala <adam@chlipala.net>
date Tue, 27 Jul 2010 14:04:09 -0400
parents 60e19545841b
children acabf3935060
comparison
equal deleted inserted replaced
1281:60e19545841b 1282:a9a500d22ebc
127 PolClient of exp 127 PolClient of exp
128 | PolInsert of exp 128 | PolInsert of exp
129 | PolDelete of exp 129 | PolDelete of exp
130 | PolUpdate of exp 130 | PolUpdate of exp
131 | PolSequence of exp 131 | PolSequence of exp
132 | PolEqual of {table : exp, field : string, known : bool}
133 132
134 datatype decl' = 133 datatype decl' =
135 DDatatype of (string * int * (string * int * typ option) list) list 134 DDatatype of (string * int * (string * int * typ option) list) list
136 | DVal of string * int * typ * exp * string 135 | DVal of string * int * typ * exp * string
137 | DValRec of (string * int * typ * exp * string) list 136 | DValRec of (string * int * typ * exp * string) list