Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/cjrize.sml Sun Aug 31 10:36:54 2008 -0400 +++ b/src/cjrize.sml Sun Aug 31 13:58:47 2008 -0400 @@ -280,6 +280,8 @@ | L.EClosure _ => (ErrorMsg.errorAt loc "Nested closure remains in code generation"; (dummye, sm)) + | L.EQuery _ => raise Fail "Cjrize EQuery" + fun cifyDecl ((d, loc), sm) = case d of L.DDatatype (x, n, xncs) =>