aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree
diff options
context:
space:
mode:
Diffstat (limited to 'test-files/mds-kbdc/validate-tree')
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/assumption-macro_call15
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/function-macro_call2
-rw-r--r--test-files/mds-kbdc/validate-tree/invalid/information-macro_call15
-rw-r--r--test-files/mds-kbdc/validate-tree/valid/macro-macro_call2
-rw-r--r--test-files/mds-kbdc/validate-tree/valid/macro_call2
5 files changed, 33 insertions, 3 deletions
diff --git a/test-files/mds-kbdc/validate-tree/invalid/assumption-macro_call b/test-files/mds-kbdc/validate-tree/invalid/assumption-macro_call
new file mode 100644
index 0000000..8bcad6e
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/assumption-macro_call
@@ -0,0 +1,15 @@
+assumption
+ m()
+end assumption
+
+# (assumption (@ 1 0-10)
+# (.inner
+# (macro_call (@ 2 2-3) ‘m/0’
+# (.arguments nil)
+# )
+# )
+# )
+# :2:2–3: error: macro call inside assumption clause
+# m()
+# ^
+
diff --git a/test-files/mds-kbdc/validate-tree/invalid/function-macro_call b/test-files/mds-kbdc/validate-tree/invalid/function-macro_call
index c1ade46..b635844 100644
--- a/test-files/mds-kbdc/validate-tree/invalid/function-macro_call
+++ b/test-files/mds-kbdc/validate-tree/invalid/function-macro_call
@@ -4,7 +4,7 @@ end function
# (function (@ 1 0-8) ‘f/0’
# (.inner
-# (macro_call (@ 2 2-3) ‘m’
+# (macro_call (@ 2 2-3) ‘m/0’
# (.arguments nil)
# )
# )
diff --git a/test-files/mds-kbdc/validate-tree/invalid/information-macro_call b/test-files/mds-kbdc/validate-tree/invalid/information-macro_call
new file mode 100644
index 0000000..9887c9c
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/invalid/information-macro_call
@@ -0,0 +1,15 @@
+information
+ m()
+end information
+
+# (information (@ 1 0-11)
+# (.inner
+# (macro_call (@ 2 2-3) ‘m/0’
+# (.arguments nil)
+# )
+# )
+# )
+# :2:2–3: error: macro call inside information clause
+# m()
+# ^
+
diff --git a/test-files/mds-kbdc/validate-tree/valid/macro-macro_call b/test-files/mds-kbdc/validate-tree/valid/macro-macro_call
index dbd37de..9d8a771 100644
--- a/test-files/mds-kbdc/validate-tree/valid/macro-macro_call
+++ b/test-files/mds-kbdc/validate-tree/valid/macro-macro_call
@@ -4,7 +4,7 @@ end macro
# (macro (@ 1 0-5) ‘m/0’
# (.inner
-# (macro_call (@ 2 2-3) ‘n’
+# (macro_call (@ 2 2-3) ‘n/0’
# (.arguments nil)
# )
# )
diff --git a/test-files/mds-kbdc/validate-tree/valid/macro_call b/test-files/mds-kbdc/validate-tree/valid/macro_call
index 788ca76..d09428a 100644
--- a/test-files/mds-kbdc/validate-tree/valid/macro_call
+++ b/test-files/mds-kbdc/validate-tree/valid/macro_call
@@ -1,6 +1,6 @@
m()
-# (macro_call (@ 1 0-1) ‘m’
+# (macro_call (@ 1 0-1) ‘m/0’
# (.arguments nil)
# )