Mercurial > urweb
comparison src/source.sml @ 2009:799be3911ce3
Monadic bind supports patterns
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 02 May 2014 17:16:02 -0400 |
parents | d6b0ee53dc93 |
children | 403f0cc65b9c |
comparison
equal
deleted
inserted
replaced
2008:93ff76058825 | 2009:799be3911ce3 |
---|---|
123 | EDisjoint of con * con * exp | 123 | EDisjoint of con * con * exp |
124 | EDisjointApp of exp | 124 | EDisjointApp of exp |
125 | 125 |
126 | EKAbs of string * exp | 126 | EKAbs of string * exp |
127 | 127 |
128 | ERecord of (con * exp) list | 128 | ERecord of (con * exp) list * bool |
129 | EField of exp * con | 129 | EField of exp * con |
130 | EConcat of exp * exp | 130 | EConcat of exp * exp |
131 | ECut of exp * con | 131 | ECut of exp * con |
132 | ECutMulti of exp * con | 132 | ECutMulti of exp * con |
133 | 133 |