Mercurial > urweb

comparison src/explify.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 b85e6ba56618
children 89f766f19d5b
comparison
equal deleted inserted replaced
444:f45f23ae20ed 445:dfc8c991abd0
99 | L.ECAbs (_, x, k, e1) => (L'.ECAbs (x, explifyKind k, explifyExp e1), loc) 99 | L.ECAbs (_, x, k, e1) => (L'.ECAbs (x, explifyKind k, explifyExp e1), loc)
100 100
101 | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => (explifyCon c, explifyExp e, explifyCon t)) xes), loc) 101 | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => (explifyCon c, explifyExp e, explifyCon t)) xes), loc)
102 | L.EField (e1, c, {field, rest}) => (L'.EField (explifyExp e1, explifyCon c, 102 | L.EField (e1, c, {field, rest}) => (L'.EField (explifyExp e1, explifyCon c,
103 {field = explifyCon field, rest = explifyCon rest}), loc) 103 {field = explifyCon field, rest = explifyCon rest}), loc)
104 | L.EWith (e1, c, e2, {field, rest}) => (L'.EWith (explifyExp e1, explifyCon c, explifyExp e2, 104 | L.EConcat (e1, c1, e2, c2) => (L'.EConcat (explifyExp e1, explifyCon c1, explifyExp e2, explifyCon c2),
105 {field = explifyCon field, rest = explifyCon rest}), loc) 105 loc)
106 | L.ECut (e1, c, {field, rest}) => (L'.ECut (explifyExp e1, explifyCon c, 106 | L.ECut (e1, c, {field, rest}) => (L'.ECut (explifyExp e1, explifyCon c,
107 {field = explifyCon field, rest = explifyCon rest}), loc) 107 {field = explifyCon field, rest = explifyCon rest}), loc)
108 | L.EFold k => (L'.EFold (explifyKind k), loc) 108 | L.EFold k => (L'.EFold (explifyKind k), loc)
109 109
110 | L.ECase (e, pes, {disc, result}) => 110 | L.ECase (e, pes, {disc, result}) =>