Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
444:f45f23ae20ed | 445:dfc8c991abd0 |
---|---|
91 | ECApp of exp * con | 91 | ECApp of exp * con |
92 | ECAbs of string * kind * exp | 92 | ECAbs of string * kind * exp |
93 | 93 |
94 | ERecord of (con * exp * con) list | 94 | ERecord of (con * exp * con) list |
95 | EField of exp * con * { field : con, rest : con } | 95 | EField of exp * con * { field : con, rest : con } |
96 | EWith of exp * con * exp * { field : con, rest : con } | 96 | EConcat of exp * con * exp * con |
97 | ECut of exp * con * { field : con, rest : con } | 97 | ECut of exp * con * { field : con, rest : con } |
98 | EFold of kind | 98 | EFold of kind |
99 | 99 |
100 | ECase of exp * (pat * exp) list * { disc : con, result : con } | 100 | ECase of exp * (pat * exp) list * { disc : con, result : con } |
101 | 101 |