Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
deprecated attribute not properly interpreted on modules #7064
Original bug ID: 7064
I think the following used to trigger a warning:
module X = ...
module Y = X
This is probably related to the introduction of module aliases.
In addition to fixing that, "deprecated" on modules should be improved in the following direction:
This would allow to mark some stdlib modules as being deprecated (#6711).