Mercurial > urweb
comparison src/cjrize.sml @ 252:7e9bd70ad3ce
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 |