diff options
| author | Mattias Andrée <maandree@operamail.com> | 2014-11-30 00:05:33 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2014-11-30 00:05:37 +0100 |
| commit | cbe63bd8b26177fcd1b25e9f5b92f69608bd29ce (patch) | |
| tree | af43fccdd6c3b365766929353e5259a4c5f2c87c /test-files/mds-kbdc/simplify-tree/valid | |
| parent | mds-kbdc: value statement stuff (diff) | |
| download | mds-cbe63bd8b26177fcd1b25e9f5b92f69608bd29ce.tar.gz mds-cbe63bd8b26177fcd1b25e9f5b92f69608bd29ce.tar.bz2 mds-cbe63bd8b26177fcd1b25e9f5b92f69608bd29ce.tar.xz | |
mds-kbdc: fix nesting inside unordered
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
| -rw-r--r-- | test-files/mds-kbdc/simplify-tree/valid/alternation_inside_unordered | 37 | ||||
| -rw-r--r-- | test-files/mds-kbdc/simplify-tree/valid/unordered_inside_unordered | 136 |
2 files changed, 171 insertions, 2 deletions
diff --git a/test-files/mds-kbdc/simplify-tree/valid/alternation_inside_unordered b/test-files/mds-kbdc/simplify-tree/valid/alternation_inside_unordered index da3d3d2..b1a9524 100644 --- a/test-files/mds-kbdc/simplify-tree/valid/alternation_inside_unordered +++ b/test-files/mds-kbdc/simplify-tree/valid/alternation_inside_unordered @@ -1,4 +1,39 @@ (1 [2 3]) : 0 -# TODO +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 4-5) ‘2’) +# ) +# (.result +# (string (@ 1 12-13) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 6-7) ‘3’) +# ) +# (.result +# (string (@ 1 12-13) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 4-5) ‘2’) +# (string (@ 1 1-2) ‘1’) +# ) +# (.result +# (string (@ 1 12-13) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 1-2) ‘1’) +# ) +# (.result +# (string (@ 1 12-13) ‘0’) +# ) +# ) diff --git a/test-files/mds-kbdc/simplify-tree/valid/unordered_inside_unordered b/test-files/mds-kbdc/simplify-tree/valid/unordered_inside_unordered index ce999a2..e312725 100644 --- a/test-files/mds-kbdc/simplify-tree/valid/unordered_inside_unordered +++ b/test-files/mds-kbdc/simplify-tree/valid/unordered_inside_unordered @@ -1,4 +1,138 @@ (1 2 (3 4)) : 0 -# TODO +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 3-4) ‘2’) +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 8-9) ‘4’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 3-4) ‘2’) +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 6-7) ‘3’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 3-4) ‘2’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 3-4) ‘2’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 3-4) ‘2’) +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 8-9) ‘4’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 3-4) ‘2’) +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 6-7) ‘3’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 3-4) ‘2’) +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 1-2) ‘1’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 3-4) ‘2’) +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 1-2) ‘1’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 3-4) ‘2’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 1-2) ‘1’) +# (string (@ 1 3-4) ‘2’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 3-4) ‘2’) +# (string (@ 1 1-2) ‘1’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 8-9) ‘4’) +# (string (@ 1 6-7) ‘3’) +# (string (@ 1 3-4) ‘2’) +# (string (@ 1 1-2) ‘1’) +# ) +# (.result +# (string (@ 1 14-15) ‘0’) +# ) +# ) +# :1:5–6: warning: unordered subsequence inside unordered subsequence is discouraged +# (1 2 (3 4)) : 0 +# ^ |