aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc
diff options
context:
space:
mode:
Diffstat (limited to 'test-files/mds-kbdc')
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/assumption-assumption19
1 files changed, 19 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/validate-tree/invalid/assumption-assumption b/test-files/mds-kbdc/validate-tree/invalid/assumption-assumption
new file mode 100644
index 0000000..3e80ddd
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/assumption-assumption
@@ -0,0 +1,19 @@
+assumption
+ assumption
+ end assumption
+end assumption
+
+# (assumption (@ 1 0-10)
+# (.inner
+# (assumption (@ 2 2-12)
+# (.inner nil)
+# )
+# )
+# )
+# :2:2–12: error: nested assumption clause
+# assumption
+# ^^^^^^^^^^
+# :1:0–10: note: outer assumption clause defined here
+# assumption
+# ^^^^^^^^^^
+