[GHC] #11432: Cannot export operator newtype

GHC ghc-devs at haskell.org
Tue May 10 09:58:59 UTC 2016


#11432: Cannot export operator newtype
-------------------------------------+-------------------------------------
        Reporter:  phadej            |                Owner:  skvadrik
            Type:  bug               |               Status:  closed
        Priority:  highest           |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  8.0.1-rc1
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1902
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"53f26f5a45f146e1cc988bbcf76a362c877beaa2/ghc" 53f26f5/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="53f26f5a45f146e1cc988bbcf76a362c877beaa2"
 Forbid variables to be parents in import lists.

 In the long discussion on #11432, it was decided that when a type
 constructor is parsed as a variable ((--.->) is one example) then in
 order to export the type constructor then the user should be required to
 use the ExplicitNamespaces keyword.

 This was implemented in quite an indirect manner in the renamer. It
 is much more direct to enforce this in the parser at the expense of
 slighty worse error messages. Further to this, the check in the
 renamer was actually slightly wrong. If the variable was in scope
 then no error was raised, this was causing panics, see #12026 for an
 example.

 Reviewers: austin, bgamari

 Subscribers: davean, skvadrik, thomie

 Differential Revision: https://phabricator.haskell.org/D2181

 GHC Trac Issues: #12026
 }}}

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


More information about the ghc-tickets mailing list