Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
pp(...) tag used for *.cmx but ignored for *.cmo #5095
Original bug ID: 5095
Consider the following example:
$ cat _tags
Here, the pp(foo) tag is ignored for the *.cmo declaration, but it is
pflag ["ocaml"; "compile"] "pp"
So I wonder why pp(foo) only applies to *.cmx.
This bug report is extracted from the following message that I sent to the
Comment author: @xclerc
You were right, the parametrized flag was defined for any compiler.