Skip to content

Commit

Permalink
Strengthened types
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jun 23, 2022
1 parent 9498a2c commit 6e3013d
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion dune
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,8 @@ let dune_fragment_for mod_name basename =
(rule
(target %s.mli)
(action (with-stdout-to %%{target}
(echo "[@@@ocaml.warning \"-3\"] include module type of %s")))
(echo "[@@@ocaml.warning \"-3\"]\n\
include module type of struct include %s end")))
(enabled_if (< %%{ocaml_version} 5.0)))

(rule
Expand Down

0 comments on commit 6e3013d

Please sign in to comment.