Re: ORF and renamer

2016-02-23 Thread Alan & Kim Zimmerman
Adam FYI, using https://github.com/alanz/ghc-dump-tree/tree/debug-name I can see that I have a bug elsewhere in my code. The output is http://lpaste.net/8427907315830620160, which includes the nameUnique for each Name in the RenamedSource. e.g. http://lpaste.net/8427907315830620160#line267

Re: ORF and renamer

2016-02-23 Thread Alan & Kim Zimmerman
Hi Adam Thanks for the response. My initial mail was more of a sanity check to see if anything had in fact changed, as I saw that the ambiguous case is pushed to the type checker. I wanted to confirm the unambiguous case treatment. I will try to make a clearer description of what I see/am doing.

Re: ORF and renamer

2016-02-23 Thread Adam Gundry
Hi Alan, I certainly made a few changes to the renamer as part of the ORF work, but I wouldn't expect them to cause the behaviour you describe. Name resolution for ambiguous record selectors is deferred to the typechecker when the DuplicateRecordFields extension is enabled, but unambiguous

ORF and renamer

2016-02-23 Thread Alan & Kim Zimmerman
I am working on updating HaRe for GHC 8.0.1, and have hit an issue with the following file --- module Field1 where --Rename field name 'pointx' to 'pointx1' data Point = Pt {pointx, pointy :: Float} absPoint :: Point -> Float absPoint p = sqrt (pointx p * pointx p +