Mercurial > urweb
comparison src/elab.sml @ 493:ae03d09043c1
Add CutMulti
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 11 Nov 2008 19:20:37 -0500 |
parents | d34834af4512 |
children | 44958d74c43f |
comparison
equal
deleted
inserted
replaced
492:4a241d108a2c | 493:ae03d09043c1 |
---|---|
108 | 108 |
109 | ERecord of (con * exp * con) list | 109 | ERecord of (con * exp * con) list |
110 | EField of exp * con * { field : con, rest : con } | 110 | EField of exp * con * { field : con, rest : con } |
111 | EConcat of exp * con * exp * con | 111 | EConcat of exp * con * exp * con |
112 | ECut of exp * con * { field : con, rest : con } | 112 | ECut of exp * con * { field : con, rest : con } |
113 | ECutMulti of exp * con * { rest : con } | |
113 | EFold of kind | 114 | EFold of kind |
114 | 115 |
115 | ECase of exp * (pat * exp) list * { disc : con, result : con } | 116 | ECase of exp * (pat * exp) list * { disc : con, result : con } |
116 | 117 |
117 | EError | 118 | EError |