Mercurial > urweb
diff src/core.sml @ 445:dfc8c991abd0
Replace 'with' with '++'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 31 Oct 2008 09:30:22 -0400 |
parents | 075b36dbb1a4 |
children | 07f6576aeb0a |
line wrap: on
line diff
--- a/src/core.sml Thu Oct 30 17:07:34 2008 -0400 +++ b/src/core.sml Fri Oct 31 09:30:22 2008 -0400 @@ -93,7 +93,7 @@ | ERecord of (con * exp * con) list | EField of exp * con * { field : con, rest : con } - | EWith of exp * con * exp * { field : con, rest : con } + | EConcat of exp * con * exp * con | ECut of exp * con * { field : con, rest : con } | EFold of kind