From 387959675cd53b3c75ad9b6215b07843f8c8f1d8 Mon Sep 17 00:00:00 2001
From: Greg Brown <gmb60@cam.ac.uk>
Date: Tue, 11 May 2021 13:53:56 +0100
Subject: Rename autochomp to autonibble.

---
 autonibble/benches/parse/data/194.nb | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 autonibble/benches/parse/data/194.nb

(limited to 'autonibble/benches/parse/data/194.nb')

diff --git a/autonibble/benches/parse/data/194.nb b/autonibble/benches/parse/data/194.nb
new file mode 100644
index 0000000..01730c6
--- /dev/null
+++ b/autonibble/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";
-- 
cgit v1.2.3