Ticket #40 (new defect)
Check for overlapping projection dictionaries during type inference
|Reported by:||benl||Owned by:|
Projections should be associated with data constructors, not general types, otherwise we get overlapping name problems.
project Maybe a where ... project Maybe Int where ...
This will also allow a better syntax for & projections, eg List&reverse.