summaryrefslogtreecommitdiff
path: root/autochomp/benches/parse/data/194.nb
diff options
context:
space:
mode:
authorGreg Brown <gmb60@cam.ac.uk>2021-05-06 19:40:59 +0100
committerGreg Brown <gmb60@cam.ac.uk>2021-05-06 19:40:59 +0100
commitdfc08ff2c6580bbeb3951b223e0332546ba3b0d9 (patch)
tree60597dd9492b9c2dfa10ea610289f143dd3e41b7 /autochomp/benches/parse/data/194.nb
parentef485d6f3e4df6e1a424ba3797388fa0bba6eb2e (diff)
Introduce lambda expressions.
Diffstat (limited to 'autochomp/benches/parse/data/194.nb')
-rw-r--r--autochomp/benches/parse/data/194.nb7
1 files changed, 7 insertions, 0 deletions
diff --git a/autochomp/benches/parse/data/194.nb b/autochomp/benches/parse/data/194.nb
new file mode 100644
index 0000000..01730c6
--- /dev/null
+++ b/autochomp/benches/parse/data/194.nb
@@ -0,0 +1,7 @@
+let bot = !(/rec/ "a" . rec);
+let zero = /zero suc/ zero;
+let suc n = /zero suc/ suc (n zero suc);
+
+let opt some = _ : None | some;
+let plus iter = !(/plus/ iter . (opt plus));
+match opt "ab";