aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/source.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-05-02 17:16:02 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-05-02 17:16:02 -0400
commit77b4d9b9397aefc41ae0c6465a75874c497d945c (patch)
tree1249a913f37685611f686a4c5db3475723c93d21 /src/source.sml
parent1580340ec252e4e399c2c1d2b403974f49c3a084 (diff)
Monadic bind supports patterns
Diffstat (limited to 'src/source.sml')
-rw-r--r--src/source.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/source.sml b/src/source.sml
index 639ea716..eea7ad4c 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -125,7 +125,7 @@ and exp' =
| EKAbs of string * exp
- | ERecord of (con * exp) list
+ | ERecord of (con * exp) list * bool
| EField of exp * con
| EConcat of exp * exp
| ECut of exp * con