Invalid location reported for type constructors
|Reported by:||edsko||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
module Example where data T = MkT
The locations as reported in 7.4 and 7.7 are different:
- In 7.4 the ADT is represented as a
TyData, itself part of an
Located Name; the location of this name is reported correctly as 3:6. The
SrcSpanassociated with the
Nameitself (which represents the def site) is also reported as 3:6, which is dubious.
- In 7.8 the ADT is represented as a
HsGroup). As before, the
Located Name; the location now however is 3:1-12, which doesn't make sense. The def site associated with the name itself is also 3:1-12, which does make sense.
It seems that when the def site was fixed, it also changed the location of the identifier itself. These two are separate.