Mercurial > urweb

comparison src/explify.sml @ 339:075b36dbb1a4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Crud supports INSERT
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 15:10:04 -0400
parents e976b187d73a
children b85e6ba56618
comparison
equal deleted inserted replaced
338:e976b187d73a 339:075b36dbb1a4
100 | L.ECAbs (_, x, k, e1) => (L'.ECAbs (x, explifyKind k, explifyExp e1), loc) 100 | L.ECAbs (_, x, k, e1) => (L'.ECAbs (x, explifyKind k, explifyExp e1), loc)
101 101
102 | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => (explifyCon c, explifyExp e, explifyCon t)) xes), loc) 102 | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => (explifyCon c, explifyExp e, explifyCon t)) xes), loc)
103 | L.EField (e1, c, {field, rest}) => (L'.EField (explifyExp e1, explifyCon c, 103 | L.EField (e1, c, {field, rest}) => (L'.EField (explifyExp e1, explifyCon c,
104 {field = explifyCon field, rest = explifyCon rest}), loc) 104 {field = explifyCon field, rest = explifyCon rest}), loc)
105 | L.EWith (e1, c, e2, {field, rest}) => (L'.EWith (explifyExp e1, explifyCon c, explifyExp e2,
106 {field = explifyCon field, rest = explifyCon rest}), loc)
105 | L.ECut (e1, c, {field, rest}) => (L'.ECut (explifyExp e1, explifyCon c, 107 | L.ECut (e1, c, {field, rest}) => (L'.ECut (explifyExp e1, explifyCon c,
106 {field = explifyCon field, rest = explifyCon rest}), loc) 108 {field = explifyCon field, rest = explifyCon rest}), loc)
107 | L.EFold k => (L'.EFold (explifyKind k), loc) 109 | L.EFold k => (L'.EFold (explifyKind k), loc)
108 110
109 | L.ECase (e, pes, {disc, result}) => 111 | L.ECase (e, pes, {disc, result}) =>