test-files/mds-kbdc/validate-tree/invalid/assumption-macro_call


1
2
3
4
5
6
7
8
9
10
11
12
13
14
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()
#    ^