summaryrefslogtreecommitdiff
path: root/autonibble/benches/parse/data/387.nb
diff options
context:
space:
mode:
Diffstat (limited to 'autonibble/benches/parse/data/387.nb')
-rw-r--r--autonibble/benches/parse/data/387.nb13
1 files changed, 13 insertions, 0 deletions
diff --git a/autonibble/benches/parse/data/387.nb b/autonibble/benches/parse/data/387.nb
new file mode 100644
index 0000000..0f60b89
--- /dev/null
+++ b/autonibble/benches/parse/data/387.nb
@@ -0,0 +1,13 @@
+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));
+let star iter = opt (plus iter);
+
+let up_to x n = n bot (/rec/ x . opt rec);
+
+let Pattern_Whitespace = "\t"|"\n"|"\x0B"|"\x0c"|"\r"|" "|"\u{85}"|"\u{200e}"|"\u{200f}"|"\u{2028}"|"\u{2029}";
+
+match = "0" |"1";