[GHC] #14630: name shadowing warnings by record pattern synonyms + RecordWildCards or NamedFieldPuns

GHC ghc-devs at haskell.org
Tue Jan 30 10:30:29 UTC 2018


#14630: name shadowing warnings by record pattern synonyms + RecordWildCards or
NamedFieldPuns
-------------------------------------+-------------------------------------
        Reporter:  mizunashi_mana    |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.2
      Resolution:                    |             Keywords:
                                     |  PatternSynonyms
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect         |  Unknown/Multiple
  error/warning at compile-time      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #11228, #11970    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 Do you have your patch Ryan?

 comment:5 seems to suggest to me implementing `isRecFldGRE` directly
 rather than indirectly by checking about anything to do with the parent.
 This is however not what Adam suggested but by disentangle I would imagine
 two distinct data types, one which tracks parenthood and and one which
 tracks whether a GRE is a record field.

 However, if this is the only place in the whole compiler where it matters
 then perhaps the implementation of this bit should be reconsidered before
 threading through this extra information everywhere.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14630#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list