Mercurial > urweb

comparison src/source.sml @ 493:ae03d09043c1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
121 121
122 | ERecord of (con * exp) list 122 | ERecord of (con * exp) list
123 | EField of exp * con 123 | EField of exp * con
124 | EConcat of exp * exp 124 | EConcat of exp * exp
125 | ECut of exp * con 125 | ECut of exp * con
126 | ECutMulti of exp * con
126 | EFold 127 | EFold
127 128
128 | EWild 129 | EWild
129 130
130 | ECase of exp * (pat * exp) list 131 | ECase of exp * (pat * exp) list