Mercurial > urweb

comparison src/cjrize.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 fac9fae654e2
comparison
equal deleted inserted replaced
251:326fb4686f60 252:7e9bd70ad3ce
278 | L.ELet _ => raise Fail "Cjrize ELet" 278 | L.ELet _ => raise Fail "Cjrize ELet"
279 279
280 | L.EClosure _ => (ErrorMsg.errorAt loc "Nested closure remains in code generation"; 280 | L.EClosure _ => (ErrorMsg.errorAt loc "Nested closure remains in code generation";
281 (dummye, sm)) 281 (dummye, sm))
282 282
283 | L.EQuery _ => raise Fail "Cjrize EQuery"
284
283 fun cifyDecl ((d, loc), sm) = 285 fun cifyDecl ((d, loc), sm) =
284 case d of 286 case d of
285 L.DDatatype (x, n, xncs) => 287 L.DDatatype (x, n, xncs) =>
286 let 288 let
287 val dk = ElabUtil.classifyDatatype xncs 289 val dk = ElabUtil.classifyDatatype xncs