Regression using NamedFieldPuns with qualified field names
I found a regression where code using the NamedFieldPuns extension and qualified field names doesn't compile with GHC 8 rc2, where it did with GHC 7.10.
Minimal reproduction:
module Rec where
data Rec = Rec { f :: Integer }
--------------------
{-# LANGUAGE NamedFieldPuns #-}
module Main where
import Rec (Rec (Rec))
import qualified Rec
g :: Rec -> Integer
g (Rec { Rec.f }) = f
On GHC 8 this fails with:
Main.hs:6:10: error: Qualified name in binding position: Rec.f
Trac metadata
Trac field | Value |
---|---|
Version | 8.0.1-rc2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |