Source Location of DataCon objects in GHC 7.4.1 API

JP Moresmau jpmoresmau at gmail.com
Fri Jun 1 11:24:42 CEST 2012


Hello

I have a failing test in BuildWrapper when moving from GHC 7.0.4 to
7.4.1. As far I can tell, in the TypecheckedSource I get DataCon
objects that have no location info, and hence I can't retrieve them by
location... Which is useful in a IDE (tell me what's under my mouse
cursor, tell me where else it's used).

Given the simple data declaration:
data DataT=MkData {name :: String}

In 7.0.4 I obtain a hierarchy that ends in FunBind (on a Var called
"name")/MatchGroup/Match/ConPatOut and the contained DataCon named
"MkData" has a SrcSpan associated with it, and so do the Var,
MatchGroup and Match.
In 7.4.1 I have the same hierarchy but the DataCon tells me "no
location info". The Var "name" has a location, but the MatchGroup and
Match don't either.

Is it a normal change? Do I need to change something in the way I load
the module? Is it a regression?

Thanks!

-- 
JP Moresmau
http://jpmoresmau.blogspot.com/



More information about the Glasgow-haskell-users mailing list