aboutsummaryrefslogblamecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/invalid/assumption-macro_call
blob: 8bcad6e94f549fba1def23e1cbaf9b43398a4bd2 (plain) (tree)
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()
#    ^