[GHC] #13528: Unqualified export of constructors

5 Apr 2017


      #13528: Unqualified export of constructors
-------------------------------------+-------------------------------------
           Reporter:  dmendler       |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:  8.2.1
          Component:  Compiler       |           Version:  8.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  GHC rejects
  Unknown/Multiple                   |  valid program
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Unqualified exports of constructors doesn't work anymore in 8.2.1-rc1. It
 worked before in 8.0. Is this intended or a regression?

 {{{
 module Test (
   GHC.Exts.IsList(
       Item
       , fromList
       , toList
       )
   , Data.Bool.Bool(True, False)
 ) where

 import qualified GHC.Exts
 import qualified Data.Bool
 }}}

 The error:


 {{{
     • Not in scope: data constructor ‘False’
       Perhaps you meant ‘Prelude.False’ (imported from Prelude)
     • In the export: Data.Bool.Bool(False, True)
 }}}

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13528
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler