aboutsummaryrefslogtreecommitdiffstats
path: root/test-files
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/function-assumption19
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/function-function19
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/function-information19
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/function-macro19
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/include_information-information26
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/information-assumption19
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/information-function19
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/information-information19
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/information-macro19
9 files changed, 178 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
+# ^^^^^^^^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/function-function b/test-files/mds-kbdc/validate-tree/invalid/function-function
new file mode 100644
index 0000000..4793bbc
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/function-function
@@ -0,0 +1,19 @@
+function f/0
+ function g/0
+ end function
+end function
+
+# (function (@ 1 0-8) ‘f/0’
+# (.inner
+# (function (@ 2 2-10) ‘g/0’
+# (.inner nil)
+# )
+# )
+# )
+# :2:2–10: error: nested function definition
+# function g/0
+# ^^^^^^^^
+# :1:0–8: note: outer function defined here
+# function f/0
+# ^^^^^^^^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/function-information b/test-files/mds-kbdc/validate-tree/invalid/function-information
new file mode 100644
index 0000000..d6cda45
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/function-information
@@ -0,0 +1,19 @@
+function f/0
+ information
+ end information
+end function
+
+# (function (@ 1 0-8) ‘f/0’
+# (.inner
+# (information (@ 2 2-13)
+# (.inner nil)
+# )
+# )
+# )
+# :2:2–13: error: information clause inside function definition
+# information
+# ^^^^^^^^^^^
+# :1:0–8: note: outer function definition defined here
+# function f/0
+# ^^^^^^^^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/function-macro b/test-files/mds-kbdc/validate-tree/invalid/function-macro
new file mode 100644
index 0000000..e8f48cd
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/function-macro
@@ -0,0 +1,19 @@
+function f/0
+ macro m/0
+ end macro
+end function
+
+# (function (@ 1 0-8) ‘f/0’
+# (.inner
+# (macro (@ 2 2-7) ‘m/0’
+# (.inner nil)
+# )
+# )
+# )
+# :2:2–7: error: macro definition inside function definition
+# macro m/0
+# ^^^^^
+# :1:0–8: note: outer function definition defined here
+# function f/0
+# ^^^^^^^^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/include_information-information b/test-files/mds-kbdc/validate-tree/invalid/include_information-information
new file mode 100644
index 0000000..25a23ed
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/include_information-information
@@ -0,0 +1,26 @@
+include "information-information"
+
+# (include (@ 1 0-7) ‘.../test-files/mds-kbdc/validate-tree/invalid/information-information’
+# (.inner
+# (information (@ 1 0-11)
+# (.inner
+# (information (@ 2 2-13)
+# (.inner nil)
+# )
+# )
+# )
+# )
+# )
+# .../test-files/mds-kbdc/validate-tree/invalid/information-information:2:2–13: error: nested information clause
+# information
+# ^^^^^^^^^^^
+# .../test-files/mds-kbdc/validate-tree/invalid/include_information-information:1:0–7: note: included from here
+# include "information-information"
+# ^^^^^^^
+# .../test-files/mds-kbdc/validate-tree/invalid/information-information:1:0–11: note: outer information clause defined here
+# information
+# ^^^^^^^^^^^
+# .../test-files/mds-kbdc/validate-tree/invalid/include_information-information:1:0–7: note: included from here
+# include "information-information"
+# ^^^^^^^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/information-assumption b/test-files/mds-kbdc/validate-tree/invalid/information-assumption
new file mode 100644
index 0000000..662542f
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/information-assumption
@@ -0,0 +1,19 @@
+information
+ assumption
+ end assumption
+end information
+
+# (information (@ 1 0-11)
+# (.inner
+# (assumption (@ 2 2-12)
+# (.inner nil)
+# )
+# )
+# )
+# :2:2–12: error: assumption clause inside information clause
+# assumption
+# ^^^^^^^^^^
+# :1:0–11: note: outer information clause defined here
+# information
+# ^^^^^^^^^^^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/information-function b/test-files/mds-kbdc/validate-tree/invalid/information-function
new file mode 100644
index 0000000..06613f6
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/information-function
@@ -0,0 +1,19 @@
+information
+ function f/0
+ end function
+end information
+
+# (information (@ 1 0-11)
+# (.inner
+# (function (@ 2 2-10) ‘f/0’
+# (.inner nil)
+# )
+# )
+# )
+# :2:2–10: error: function definition inside information clause
+# function f/0
+# ^^^^^^^^
+# :1:0–11: note: outer information clause defined here
+# information
+# ^^^^^^^^^^^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/information-information b/test-files/mds-kbdc/validate-tree/invalid/information-information
new file mode 100644
index 0000000..caa3003
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/information-information
@@ -0,0 +1,19 @@
+information
+ information
+ end information
+end information
+
+# (information (@ 1 0-11)
+# (.inner
+# (information (@ 2 2-13)
+# (.inner nil)
+# )
+# )
+# )
+# :2:2–13: error: nested information clause
+# information
+# ^^^^^^^^^^^
+# :1:0–11: note: outer information clause defined here
+# information
+# ^^^^^^^^^^^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/information-macro b/test-files/mds-kbdc/validate-tree/invalid/information-macro
new file mode 100644
index 0000000..51991de
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/information-macro
@@ -0,0 +1,19 @@
+information
+ macro m/0
+ end macro
+end information
+
+# (information (@ 1 0-11)
+# (.inner
+# (macro (@ 2 2-7) ‘m/0’
+# (.inner nil)
+# )
+# )
+# )
+# :2:2–7: error: macro definition inside information clause
+# macro m/0
+# ^^^^^
+# :1:0–11: note: outer information clause defined here
+# information
+# ^^^^^^^^^^^
+