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