diff options
Diffstat (limited to 'test-files/mds-kbdc/simplify-tree/valid/mapping_with_unordered_singleton')
| -rw-r--r-- | test-files/mds-kbdc/simplify-tree/valid/mapping_with_unordered_singleton | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/simplify-tree/valid/mapping_with_unordered_singleton b/test-files/mds-kbdc/simplify-tree/valid/mapping_with_unordered_singleton new file mode 100644 index 0000000..cfe630d --- /dev/null +++ b/test-files/mds-kbdc/simplify-tree/valid/mapping_with_unordered_singleton @@ -0,0 +1,14 @@ +(1) : 2 + +# (map (@ 1 0-0) +# (.sequence +# (string (@ 1 1-2) ‘1’) +# ) +# (.result +# (string (@ 1 6-7) ‘2’) +# ) +# ) +# :1:0–1: warning: singleton unordered subsequence +# (1) : 2 +# ^ + |