Mercurial > urweb

comparison src/expl_env.sml @ 275:73456bfde988

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Validating schema of a live database
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:40:57 -0400
parents 3aa010e97db9
children e976b187d73a
comparison
equal deleted inserted replaced
274:e4baf03a3a64 275:73456bfde988
286 let 286 let
287 val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc) 287 val t = (CApp ((CModProj (tn, [], "table"), loc), c), loc)
288 in 288 in
289 pushENamed env x n t 289 pushENamed env x n t
290 end 290 end
291 | DDatabase _ => env
291 292
292 fun sgiBinds env (sgi, loc) = 293 fun sgiBinds env (sgi, loc) =
293 case sgi of 294 case sgi of
294 SgiConAbs (x, n, k) => pushCNamed env x n k NONE 295 SgiConAbs (x, n, k) => pushCNamed env x n k NONE
295 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) 296 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c)