Skip to content

Commit 88d184b

Browse files
committed
Docs: don't treat warnings as fatal
The latest version of odoc insists on generating the following warning File ../../../libISA/.libISA.objs/byte/libISA.odoc: Warning: While resolving the expansion of include at File libISA/isa_parser.mli, line 134, character 2 Hidden constructors in type 'LibISA.Isa_parser.MenhirInterpreter.element' This warning relates to code generated by the menhir parser generator and there seems to be no way to prevent the warning from being generated. So I am reluctantly disabling the 'warnings are fatal' setting so that we can avoid what I consider to be a odoc/menhir bug.
1 parent a0e14ac commit 88d184b

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

libISA/dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -90,4 +90,4 @@
9090
(libraries menhirLib ocolor str yojson zarith z3))
9191

9292

93-
(env (_ (odoc (warnings fatal))))
93+
; (env (_ (odoc (warnings fatal))))

0 commit comments

Comments
 (0)