diff options
Diffstat (limited to 'autochomp/benches/parse/data/194.nb')
-rw-r--r-- | autochomp/benches/parse/data/194.nb | 7 |
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"; |