diff options
| author | Greg Brown <gmb60@cam.ac.uk> | 2021-04-21 10:19:00 +0100 |
|---|---|---|
| committer | Greg Brown <gmb60@cam.ac.uk> | 2021-04-21 10:19:00 +0100 |
| commit | 449695dcf87d26b0d06a51ca27bbc8214338f954 (patch) | |
| tree | 32edf289a1d8287149f160a9b54cecb339be321c /autochomp/tests/compare/ratata.nb | |
| parent | bb3c8d1455f7a102a0c0abffd757ccace94f77d5 (diff) | |
Add some comparison tests for Autochomp.
Diffstat (limited to 'autochomp/tests/compare/ratata.nb')
| -rw-r--r-- | autochomp/tests/compare/ratata.nb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/autochomp/tests/compare/ratata.nb b/autochomp/tests/compare/ratata.nb new file mode 100644 index 0000000..2cf7cd9 --- /dev/null +++ b/autochomp/tests/compare/ratata.nb @@ -0,0 +1,3 @@ +let opt(x) = _ | x; +let plus(x) = [rec](x . opt(rec)); +match plus(("r" | "t") . "a"); |