blob: 662542f4d4c3b4a4d91243ebc02533f467a1e429 (
plain) (
tree)
|
|
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
# ^^^^^^^^^^^
|