Closed pitag-ha closed 6 months ago
I've noticed this small mistake in our man pages when checking how dune calls the PPX driver: It does so with -dump-ast, however errors are not embedded.
-dump-ast
I've noticed this small mistake in our man pages when checking how dune calls the PPX driver: It does so with
-dump-ast
, however errors are not embedded.