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
Add the -dunique-ids and -dno-unique-ids options to the compilers #1618
These options allow to control whether identifiers are made unique by
The default is to print the stamp, as is done currently.
The "-no-unique-ids" option is useful e.g. to simplify the comparison
This is a follow-up to a discussion started on caml-devel. On the list,
Leo White (2018/02/19 13:59 +0000):
Since this only affects `-d...` options might I suggest `-dunique-ids` and `-dno-unique-ids` to make it more obvious that it is not for normal users.
Sure I could do that. Are we sure, though, that this won't affect anything else one day?