From e912254516bedb2d45fff6aa70432146a45d8381 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sat, 29 Nov 2014 21:18:09 +0100 Subject: mds-kbdc: only five test cases to go before it's time for the next step MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- .../simplify-tree/valid/mapping_with_unordered_singleton | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 test-files/mds-kbdc/simplify-tree/valid/mapping_with_unordered_singleton (limited to 'test-files/mds-kbdc/simplify-tree/valid/mapping_with_unordered_singleton') 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 +# ^ + -- cgit v1.2.3-70-g09d2