search

affeldt-aist / coq2html

An HTML documentation generator for Coq source files
GNU General Public License v2.0
1 stars 3 forks source link

Compilation warnings #44

Open proux01 opened 5 months ago

proux01 commented 5 months ago

I get the following warnings when compiling:

File "generate_index.ml", lines 219-231, characters 17-38:
Warning 8 [partial-match]: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
[]::_
File "coq2html.mll", line 390, characters 39-40:
Warning 26 [unused-var]: unused variable s.
File "coq2html.mll", line 397, characters 63-64:
Warning 26 [unused-var]: unused variable s.
File "coq2html.mll", line 403, characters 64-65:
Warning 26 [unused-var]: unused variable s.
File "coq2html.mll", line 535, characters 34-35:
Warning 26 [unused-var]: unused variable s.

those probably need to be addressed.