Skip to content

Commit dd4f66b

Browse files
voodoosncik-roberts
authored andcommitted
Promote sherlodoc parser to sources
(cherry picked from commit 412c3303afe2a01e90d96717fe08cf1e387148fa)
1 parent 052eb68 commit dd4f66b

File tree

4 files changed

+567
-1
lines changed

4 files changed

+567
-1
lines changed

src/sherlodoc/.ocamlformat-ignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
type_parser.ml
2+
type_parser.mli

src/sherlodoc/dune

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,8 @@
44

55
(menhir
66
(modules type_parser)
7-
(flags --explain))
7+
(enabled_if (<> %{profile} "release"))
8+
(mode promote)
9+
(flags :standard --explain))
810

911
(ocamllex type_lexer)

0 commit comments

Comments
 (0)