Source Location of DataCon objects in GHC 7.4.1 API

Simon Peyton-Jones simonpj at microsoft.com
Tue Jun 5 14:36:29 CEST 2012


Done.  I don't think it's worth a regression test.

SImon

commit cb705a38d677e2ab4cad37447c8180bd397d5576
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jun 5 13:35:07 2012 +0100

    Add sensible locations to record-selector bindings

 compiler/typecheck/TcTyClsDecls.lhs |   26 +++++++++++++-------------
 1 files changed, 13 insertions(+), 13 deletions(-)

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-
| users-bounces at haskell.org] On Behalf Of Simon Peyton-Jones
| Sent: 05 June 2012 12:38
| To: JP Moresmau; glasgow-haskell-users at haskell.org
| Subject: RE: Source Location of DataCon objects in GHC 7.4.1 API
| 
| Ah I see.  I'm fixing this.
| 
| Simon
| 
| | -----Original Message-----
| | From: glasgow-haskell-users-bounces at haskell.org
| | [mailto:glasgow-haskell- users-bounces at haskell.org] On Behalf Of JP
| | Moresmau
| | Sent: 01 June 2012 10:25
| | To: glasgow-haskell-users at haskell.org
| | Subject: Source Location of DataCon objects in GHC 7.4.1 API
| |
| | 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/
| |
| | _______________________________________________
| | Glasgow-haskell-users mailing list
| | Glasgow-haskell-users at haskell.org
| | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
| 
| 
| 
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users





More information about the Glasgow-haskell-users mailing list