Mercurial > urweb
comparison src/explify.sml @ 445:dfc8c991abd0
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}) => |