blob: 854bd6a6d5bdcc9e1d2c8b583d5d764e7ed7082f (
plain)
1
2
3
4
5
6
7
8
|
(* -*- mode: coq; coq-prog-args: ("-compile" "UnclosedBlocks.v") *)
Module Foo.
Module Closed.
End Closed.
Module Type Bar.
Section Baz.
(* end-of-compilation error message reports unclosed sections, blocks, and
module types *)
|
