[GHC] #11959: Importing doubly exported pattern synonym and associated pattern synonym panics

GHC ghc-devs at haskell.org
Thu Sep 22 15:36:20 UTC 2016


#11959: Importing doubly exported pattern synonym and associated pattern synonym
panics
-------------------------------------+-------------------------------------
        Reporter:  darchon           |                Owner:
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.0.2
       Component:  Compiler          |              Version:  8.0.1-rc3
      Resolution:                    |             Keywords:
                                     |  PatternSynonyms
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D2132,
       Wiki Page:                    |  Phab:D2133
-------------------------------------+-------------------------------------

Comment (by mpickering):

 I don't think your comment is correct Ben. You say that

 > Note that the user cannot import the definitions from export list (1)
 with import list (2) and vice versa.

 But if the pattern synonym is bundled then you can import it with the
 `pattern` keyword just like record selectors.

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


More information about the ghc-tickets mailing list