Mercurial > urweb

comparison src/corify.sml @ 450:07f6576aeb0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wrapping works in Blog
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 16:46:16 -0400
parents dfc8c991abd0
children 1a4fa157fedd
comparison
equal deleted inserted replaced
449:89f766f19d5b 450:07f6576aeb0a
578 {disc = corifyCon st disc, result = corifyCon st result}), 578 {disc = corifyCon st disc, result = corifyCon st result}),
579 loc) 579 loc)
580 580
581 | L.EWrite e => (L'.EWrite (corifyExp st e), loc) 581 | L.EWrite e => (L'.EWrite (corifyExp st e), loc)
582 582
583 | L.ELet (x, t, e1, e2) => (L'.ELet (x, corifyCon st t, corifyExp st e1, corifyExp st e2), loc)
584
583 fun corifyDecl mods ((d, loc : EM.span), st) = 585 fun corifyDecl mods ((d, loc : EM.span), st) =
584 case d of 586 case d of
585 L.DCon (x, n, k, c) => 587 L.DCon (x, n, k, c) =>
586 let 588 let
587 val (st, n) = St.bindCon st x n 589 val (st, n) = St.bindCon st x n