diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 16:32:49 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 16:32:49 -0400 |
| commit | 3b3eb1273341bcc8787ab2efa9f7fe7cfd2f9235 (patch) | |
| tree | e56c6b2d2d37300801ed1b2bae91e26cb9c45c82 /src/monoize.sml | |
| parent | ddb4c1fe285a26cc46c59e6269ecac1f26c687a6 (diff) | |
Changed EQuery not to use a function in its body
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index f5a64545..55245074 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -519,15 +519,12 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L'.TFun (un, state), loc)), loc)), loc) - val body' = (L'.EAbs ("r", (L'.TRecord rt, loc), - (L'.TFun (state, state), loc), - (L'.EAbs ("acc", state, state, - (L'.EApp ( - (L'.EApp ( - (L'.EApp ((L'.ERel 4, loc), - (L'.ERel 1, loc)), loc), - (L'.ERel 0, loc)), loc), - (L'.ERecord [], loc)), loc)), loc)), loc) + val body' = (L'.EApp ( + (L'.EApp ( + (L'.EApp ((L'.ERel 4, loc), + (L'.ERel 1, loc)), loc), + (L'.ERel 0, loc)), loc), + (L'.ERecord [], loc)), loc) val body = (L'.EQuery {exps = exps, tables = tables, |