[GHC] #8607: Invalid location reported for type constructors
GHC
ghc-devs at haskell.org
Tue Dec 10 15:00:09 UTC 2013
#8607: Invalid location reported for type constructors
------------------------------------+-------------------------------------
Reporter: edsko | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.7
Keywords: | Operating System: Unknown/Multiple
Architecture: Unknown/Multiple | Type of failure: None/Unknown
Difficulty: Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: |
------------------------------------+-------------------------------------
Given
{{{
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
`HsGroup`. The `TyData` contains a `Located Name`; the location of this
name is reported correctly as 3:6. The `SrcSpan` associated with the
`Name` itself (which represents the def site) is also reported as 3:6,
which is dubious.
* In 7.8 the ADT is represented as a `DataDecl` (part of ` TyClGroup`
inside a `HsGroup`). As before, the `DataDecl`contains a `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.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8607>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list