blob: 662542f4d4c3b4a4d91243ebc02533f467a1e429 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
information
assumption
end assumption
end information
# (information (@ 1 0-11)
# (.inner
# (assumption (@ 2 2-12)
# (.inner nil)
# )
# )
# )
# :2:2–12: error: assumption clause inside information clause
# assumption
# ^^^^^^^^^^
# :1:0–11: note: outer information clause defined here
# information
# ^^^^^^^^^^^
|