aboutsummaryrefslogtreecommitdiffstats
path: root/test-files
diff options
context:
space:
mode:
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)
+# ^