Skip to content

Unqualified export of constructors doesn't work anymore

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)
Edited by Ben Gamari
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information