diff options
Diffstat (limited to 'test-files/mds-kbdc')
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) # ) |