mds-kbdc: m + add argument count suffix to macro calls during simplification

Signed-off-by: Mattias Andrée <maandree@operamail.com>

14 files changed, 60 insertions, 30 deletions

diff --git a/test-files/mds-kbdc/simplify-tree/invalid/macro_call_with_empty_alternation b/test-files/mds-kbdc/simplify-tree/invalid/macro_call_with_empty_alternation
index 5532b22..86940a4 100644
--- a/test-files/mds-kbdc/simplify-tree/invalid/macro_call_with_empty_alternation
+++ b/test-files/mds-kbdc/simplify-tree/invalid/macro_call_with_empty_alternation
@@ -1,6 +1,6 @@
 my_macro([])
 
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/0’
 #   (.arguments nil)
 # )
 # :1:9–10: error: empty alternation
diff --git a/test-files/mds-kbdc/simplify-tree/invalid/alternated_value_statement b/test-files/mds-kbdc/simplify-tree/valid/alternated_value_statement
index fae3bc1..fae3bc1 100644
--- a/test-files/mds-kbdc/simplify-tree/invalid/alternated_value_statement
+++ b/test-files/mds-kbdc/simplify-tree/valid/alternated_value_statement
diff --git a/test-files/mds-kbdc/simplify-tree/valid/macro_call b/test-files/mds-kbdc/simplify-tree/valid/macro_call
index 9341a8b..24502cb 100644
--- a/test-files/mds-kbdc/simplify-tree/valid/macro_call
+++ b/test-files/mds-kbdc/simplify-tree/valid/macro_call
@@ -1,10 +1,10 @@
 my_macro()
 my_macro(1)
 
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/0’
 #   (.arguments nil)
 # )
-# (macro_call (@ 2 0-8) ‘my_macro’
+# (macro_call (@ 2 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 2 9-10) ‘1’)
 #   )
diff --git a/test-files/mds-kbdc/simplify-tree/valid/macro_call_alternation b/test-files/mds-kbdc/simplify-tree/valid/macro_call_alternation
index 0122c06..a2c306d 100644
--- a/test-files/mds-kbdc/simplify-tree/valid/macro_call_alternation
+++ b/test-files/mds-kbdc/simplify-tree/valid/macro_call_alternation
@@ -1,55 +1,55 @@
 my_macro([1 2] [3 4] [5 6])
 
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/3’
 #   (.arguments
 #     (string (@ 1 10-11) ‘1’)
 #     (string (@ 1 16-17) ‘3’)
 #     (string (@ 1 22-23) ‘5’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/3’
 #   (.arguments
 #     (string (@ 1 10-11) ‘1’)
 #     (string (@ 1 16-17) ‘3’)
 #     (string (@ 1 24-25) ‘6’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/3’
 #   (.arguments
 #     (string (@ 1 10-11) ‘1’)
 #     (string (@ 1 18-19) ‘4’)
 #     (string (@ 1 22-23) ‘5’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/3’
 #   (.arguments
 #     (string (@ 1 10-11) ‘1’)
 #     (string (@ 1 18-19) ‘4’)
 #     (string (@ 1 24-25) ‘6’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/3’
 #   (.arguments
 #     (string (@ 1 12-13) ‘2’)
 #     (string (@ 1 16-17) ‘3’)
 #     (string (@ 1 22-23) ‘5’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/3’
 #   (.arguments
 #     (string (@ 1 12-13) ‘2’)
 #     (string (@ 1 16-17) ‘3’)
 #     (string (@ 1 24-25) ‘6’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/3’
 #   (.arguments
 #     (string (@ 1 12-13) ‘2’)
 #     (string (@ 1 18-19) ‘4’)
 #     (string (@ 1 22-23) ‘5’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/3’
 #   (.arguments
 #     (string (@ 1 12-13) ‘2’)
 #     (string (@ 1 18-19) ‘4’)
diff --git a/test-files/mds-kbdc/simplify-tree/valid/macro_call_alternation_with_nothing b/test-files/mds-kbdc/simplify-tree/valid/macro_call_alternation_with_nothing
index 0c7096e..14e2ea2 100644
--- a/test-files/mds-kbdc/simplify-tree/valid/macro_call_alternation_with_nothing
+++ b/test-files/mds-kbdc/simplify-tree/valid/macro_call_alternation_with_nothing
@@ -1,23 +1,23 @@
 my_macro([1 2] [3 .])
 
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/2’
 #   (.arguments
 #     (string (@ 1 10-11) ‘1’)
 #     (string (@ 1 16-17) ‘3’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 10-11) ‘1’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/2’
 #   (.arguments
 #     (string (@ 1 12-13) ‘2’)
 #     (string (@ 1 16-17) ‘3’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 12-13) ‘2’)
 #   )
diff --git a/test-files/mds-kbdc/simplify-tree/valid/macro_call_with_nothing b/test-files/mds-kbdc/simplify-tree/valid/macro_call_with_nothing
index f067b27..f386cbe 100644
--- a/test-files/mds-kbdc/simplify-tree/valid/macro_call_with_nothing
+++ b/test-files/mds-kbdc/simplify-tree/valid/macro_call_with_nothing
@@ -1,10 +1,10 @@
 my_macro(.)
 my_macro(. .)
 
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/0’
 #   (.arguments nil)
 # )
-# (macro_call (@ 2 0-8) ‘my_macro’
+# (macro_call (@ 2 0-8) ‘my_macro/0’
 #   (.arguments nil)
 # )
 # :1:9–10: warning: ‘.’ outside alternation has no effect
diff --git a/test-files/mds-kbdc/simplify-tree/valid/macro_call_with_singleton_alternation b/test-files/mds-kbdc/simplify-tree/valid/macro_call_with_singleton_alternation
index c005dea..a6388cc 100644
--- a/test-files/mds-kbdc/simplify-tree/valid/macro_call_with_singleton_alternation
+++ b/test-files/mds-kbdc/simplify-tree/valid/macro_call_with_singleton_alternation
@@ -1,6 +1,6 @@
 my_macro([1])
 
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 10-11) ‘1’)
 #   )
diff --git a/test-files/mds-kbdc/simplify-tree/valid/multiple_nothing_alternation_in_macro_call b/test-files/mds-kbdc/simplify-tree/valid/multiple_nothing_alternation_in_macro_call
index ef35cea..43ad4a1 100644
--- a/test-files/mds-kbdc/simplify-tree/valid/multiple_nothing_alternation_in_macro_call
+++ b/test-files/mds-kbdc/simplify-tree/valid/multiple_nothing_alternation_in_macro_call
@@ -1,20 +1,20 @@
 my_macro([1 . . . 2])
 
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 10-11) ‘1’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/0’
 #   (.arguments nil)
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/0’
 #   (.arguments nil)
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/0’
 #   (.arguments nil)
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 18-19) ‘2’)
 #   )
diff --git a/test-files/mds-kbdc/simplify-tree/valid/nested_alternations_in_macro_call b/test-files/mds-kbdc/simplify-tree/valid/nested_alternations_in_macro_call
index d40a68d..9289a4f 100644
--- a/test-files/mds-kbdc/simplify-tree/valid/nested_alternations_in_macro_call
+++ b/test-files/mds-kbdc/simplify-tree/valid/nested_alternations_in_macro_call
@@ -1,21 +1,21 @@
 my_macro([[1 2] [3 4]])
 
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 11-12) ‘1’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 13-14) ‘2’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 17-18) ‘3’)
 #   )
 # )
-# (macro_call (@ 1 0-8) ‘my_macro’
+# (macro_call (@ 1 0-8) ‘my_macro/1’
 #   (.arguments
 #     (string (@ 1 19-20) ‘4’)
 #   )
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)
 # )