Mercurial > urweb

comparison src/monoize.sml @ 267:f31e8da68e90

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Changed EQuery not to use a function in its body
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:32:49 -0400
parents 7a7efbb3e354
children bacd0ba869e1
comparison
equal deleted inserted replaced
266:7a7efbb3e354 267:f31e8da68e90
517 val ft = (L'.TFun ((L'.TRecord rt, loc), 517 val ft = (L'.TFun ((L'.TRecord rt, loc),
518 (L'.TFun (state, 518 (L'.TFun (state,
519 (L'.TFun (un, state), loc)), 519 (L'.TFun (un, state), loc)),
520 loc)), loc) 520 loc)), loc)
521 521
522 val body' = (L'.EAbs ("r", (L'.TRecord rt, loc), 522 val body' = (L'.EApp (
523 (L'.TFun (state, state), loc), 523 (L'.EApp (
524 (L'.EAbs ("acc", state, state, 524 (L'.EApp ((L'.ERel 4, loc),
525 (L'.EApp ( 525 (L'.ERel 1, loc)), loc),
526 (L'.EApp ( 526 (L'.ERel 0, loc)), loc),
527 (L'.EApp ((L'.ERel 4, loc), 527 (L'.ERecord [], loc)), loc)
528 (L'.ERel 1, loc)), loc),
529 (L'.ERel 0, loc)), loc),
530 (L'.ERecord [], loc)), loc)), loc)), loc)
531 528
532 val body = (L'.EQuery {exps = exps, 529 val body = (L'.EQuery {exps = exps,
533 tables = tables, 530 tables = tables,
534 state = state, 531 state = state,
535 query = (L'.ERel 3, loc), 532 query = (L'.ERel 3, loc),