aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/invalid/assumption-assumption
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2014-12-11 04:08:23 +0100
committerMattias Andrée <maandree@operamail.com>2014-12-11 04:08:23 +0100
commit7d915504f3331a7be2f2ed7e46198edb76f0702d (patch)
tree59cba3baa749807949dbb64b9c09a8b722f4905d /test-files/mds-kbdc/validate-tree/invalid/assumption-assumption
parentadd test for multiple assumption-clauses (diff)
downloadmds-7d915504f3331a7be2f2ed7e46198edb76f0702d.tar.gz
mds-7d915504f3331a7be2f2ed7e46198edb76f0702d.tar.bz2
mds-7d915504f3331a7be2f2ed7e46198edb76f0702d.tar.xz
mds-kbdc: validate-tree: add test case: assumption inside assumption
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to '')
-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
+# ^^^^^^^^^^
+