Mercurial > urweb

comparison src/corify.sml @ 445:dfc8c991abd0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replace 'with' with '++'
author Adam Chlipala <adamc@hcoop.net>
date Fri, 31 Oct 2008 09:30:22 -0400
parents 82067ea6e723
children 07f6576aeb0a
comparison
equal deleted inserted replaced
444:f45f23ae20ed 445:dfc8c991abd0
564 564
565 | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => 565 | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) =>
566 (corifyCon st c, corifyExp st e, corifyCon st t)) xes), loc) 566 (corifyCon st c, corifyExp st e, corifyCon st t)) xes), loc)
567 | L.EField (e1, c, {field, rest}) => (L'.EField (corifyExp st e1, corifyCon st c, 567 | L.EField (e1, c, {field, rest}) => (L'.EField (corifyExp st e1, corifyCon st c,
568 {field = corifyCon st field, rest = corifyCon st rest}), loc) 568 {field = corifyCon st field, rest = corifyCon st rest}), loc)
569 | L.EWith (e1, c, e2, {field, rest}) => (L'.EWith (corifyExp st e1, corifyCon st c, corifyExp st e2, 569 | L.EConcat (e1, c1, e2, c2) => (L'.EConcat (corifyExp st e1, corifyCon st c1, corifyExp st e2,
570 {field = corifyCon st field, rest = corifyCon st rest}), loc) 570 corifyCon st c2), loc)
571 | L.ECut (e1, c, {field, rest}) => (L'.ECut (corifyExp st e1, corifyCon st c, 571 | L.ECut (e1, c, {field, rest}) => (L'.ECut (corifyExp st e1, corifyCon st c,
572 {field = corifyCon st field, rest = corifyCon st rest}), loc) 572 {field = corifyCon st field, rest = corifyCon st rest}), loc)
573 | L.EFold k => (L'.EFold (corifyKind k), loc) 573 | L.EFold k => (L'.EFold (corifyKind k), loc)
574 574
575 | L.ECase (e, pes, {disc, result}) => 575 | L.ECase (e, pes, {disc, result}) =>