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
Warning 42: a case where a type constraint does not help a disambiguation #7239
Original bug ID: 7239
The following (pretty artificial) code produces Warning 42, even with disambiguation by a type constraint:
type a = C
Comment author: @garrigue
Maybe the problem is with the text of the warning.
Comment author: @gasche
Note to self: the various disambiguation warnings would be excellent targets for the new documentation section on compiler Warnings.
I agree that changing the text to make it less confusing would be a good idea. What about:
Warning 42: this use of C relies on type-directed disambiguation,