diff options
| author | Maxime Dénès | 2017-08-16 09:43:01 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-08-16 09:43:01 +0200 |
| commit | 64061ae938b284f246586c2e7b959413953b4b0a (patch) | |
| tree | bb1b5f78b360430aeba6adbe0095962489530ee1 /test-suite | |
| parent | f63471f8979f1b43f88c2ddf12a8fcaceb8d1e79 (diff) | |
| parent | 622806fb27fb0752cdbd2b252da1caa0513b585b (diff) | |
Merge PR #954: Print names of all open blocks
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/output/UnclosedBlocks.out | 3 | ||||
| -rw-r--r-- | test-suite/output/UnclosedBlocks.v | 8 |
2 files changed, 11 insertions, 0 deletions
diff --git a/test-suite/output/UnclosedBlocks.out b/test-suite/output/UnclosedBlocks.out new file mode 100644 index 0000000000..b83e94ad43 --- /dev/null +++ b/test-suite/output/UnclosedBlocks.out @@ -0,0 +1,3 @@ + +Error: The section Baz, module type Bar and module Foo need to be closed. + diff --git a/test-suite/output/UnclosedBlocks.v b/test-suite/output/UnclosedBlocks.v new file mode 100644 index 0000000000..854bd6a6d5 --- /dev/null +++ b/test-suite/output/UnclosedBlocks.v @@ -0,0 +1,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 *) |