aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2014-11-29 23:36:36 +0100
committerMattias Andrée <maandree@operamail.com>2014-11-29 23:36:36 +0100
commit40443932e23874cbd929ce50188d50fa1041a5e8 (patch)
tree3e39bdf606ca10946c0a6dd39d5c87d2cc1bb2a8 /test-files/mds-kbdc
parentmds-kbdc: fix permutation generation (diff)
downloadmds-40443932e23874cbd929ce50188d50fa1041a5e8.tar.gz
mds-40443932e23874cbd929ce50188d50fa1041a5e8.tar.bz2
mds-40443932e23874cbd929ce50188d50fa1041a5e8.tar.xz
mds-kbdc: value statement stuff
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
-rw-r--r--test-files/mds-kbdc/simplify-tree/invalid/bad_value12
-rw-r--r--test-files/mds-kbdc/simplify-tree/invalid/unordered_double_value28
2 files changed, 38 insertions, 2 deletions
diff --git a/test-files/mds-kbdc/simplify-tree/invalid/bad_value b/test-files/mds-kbdc/simplify-tree/invalid/bad_value
new file mode 100644
index 0000000..cdd8b54
--- /dev/null
+++ b/test-files/mds-kbdc/simplify-tree/invalid/bad_value
@@ -0,0 +1,12 @@
+<key>
+
+# (map (@ 1 0-0)
+# (.sequence
+# (keys (@ 1 0-5) ‘<key>’)
+# )
+# (.result nil)
+# )
+# :1:0–5: error: bad value type
+# <key>
+# ^^^^^
+
diff --git a/test-files/mds-kbdc/simplify-tree/invalid/unordered_double_value b/test-files/mds-kbdc/simplify-tree/invalid/unordered_double_value
index 3a253d7..b26b2ef 100644
--- a/test-files/mds-kbdc/simplify-tree/invalid/unordered_double_value
+++ b/test-files/mds-kbdc/simplify-tree/invalid/unordered_double_value
@@ -1,4 +1,28 @@
(1 2)
-# TODO
-
+# (map (@ 1 0-0)
+# (.sequence
+# (string (@ 1 1-2) ‘1’)
+# (string (@ 1 3-4) ‘2’)
+# )
+# (.result nil)
+# )
+# (map (@ 1 0-0)
+# (.sequence
+# (string (@ 1 3-4) ‘2’)
+# (string (@ 1 1-2) ‘1’)
+# )
+# (.result nil)
+# )
+# :1:0–1: warning: use of sequence in value statement is discouraged
+# (1 2)
+# ^
+# :1:0–1: warning: alternated value statement is undefined unless the alternatives are identical
+# (1 2)
+# ^
+# :1:3–4: error: more the one value in value statement
+# (1 2)
+# ^
+# :1:1–2: error: more the one value in value statement
+# (1 2)
+# ^