ORF and renamer

Alan & Kim Zimmerman alan.zimm at gmail.com
Tue Feb 23 13:35:03 UTC 2016


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 +
                  pointy p * pointy p)
--------------------------

It seems that after the renamer, each of the three instances of
`pointx` has a different `nameUnique` value.

Is this because the final resolution is now done during type checking?
 If so it makes the RenamedSource much harder to work with.

Alan


More information about the ghc-devs mailing list