Mercurial > urweb
comparison src/core.sml @ 493:ae03d09043c1
Add CutMulti
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 11 Nov 2008 19:20:37 -0500 |
parents | 5c9606deacb6 |
children | 0dd40b6bfdf3 |
comparison
equal
deleted
inserted
replaced
492:4a241d108a2c | 493:ae03d09043c1 |
---|---|
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 | EConcat of exp * con * exp * 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 | ECutMulti of exp * con * { rest : con } | |
98 | EFold of kind | 99 | EFold of kind |
99 | 100 |
100 | ECase of exp * (pat * exp) list * { disc : con, result : con } | 101 | ECase of exp * (pat * exp) list * { disc : con, result : con } |
101 | 102 |
102 | EWrite of exp | 103 | EWrite of exp |