diff options
Diffstat (limited to 'test-files/mds-kbdc/simplify-tree/invalid/map_from_nothingness_by_emptyness')
| -rw-r--r-- | test-files/mds-kbdc/simplify-tree/invalid/map_from_nothingness_by_emptyness | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/simplify-tree/invalid/map_from_nothingness_by_emptyness b/test-files/mds-kbdc/simplify-tree/invalid/map_from_nothingness_by_emptyness new file mode 100644 index 0000000..22f6824 --- /dev/null +++ b/test-files/mds-kbdc/simplify-tree/invalid/map_from_nothingness_by_emptyness @@ -0,0 +1,26 @@ +() : 1 +[] : 2 + +# (map (@ 1 0-0) +# (.sequence +# (nothing (@ 1 0-1)) +# ) +# (.result +# (string (@ 1 5-6) ‘1’) +# ) +# ) +# (map (@ 2 0-0) +# (.sequence +# (nothing (@ 2 0-1)) +# ) +# (.result +# (string (@ 2 5-6) ‘2’) +# ) +# ) +# :1:0–1: error: empty unordered subsequence +# () : 1 +# ^ +# :2:0–1: error: empty alternation +# [] : 2 +# ^ + |