Narrow scope of special-case for unqualified printing of names in core libraries

Commit 547c597112954353cef7157cb0a389bc4f6303eb modifies the
pretty-printer to render names from a set of core packages (`base`,
`ghc-prim`, `template-haskell`) as unqualified. The idea here was that
many of these names typically are not in scope but are well-known by the
user and therefore qualification merely introduces noise.

This, however, is a very large hammer and potentially breaks any
consumer who relies on parsing GHC output (hence #11208). This commit
partially reverts this change, now only printing `Constraint` (which
appears quite often in errors) as unqualified.

Fixes #11208.

Updates tests in `array` submodule.

Test Plan: validate

Reviewers: hvr, thomie, austin

Subscribers: thomie

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

GHC Trac Issues: #11208

1 files changed, 39 insertions, 37 deletions

diff --git a/testsuite/tests/ghci/scripts/ghci008.stdout b/testsuite/tests/ghci/scripts/ghci008.stdout
index 20c7f0dcad..4cf7448e2b 100644
--- a/testsuite/tests/ghci/scripts/ghci008.stdout
+++ b/testsuite/tests/ghci/scripts/ghci008.stdout
@@ -1,37 +1,39 @@
-class Num a where

-  (+) :: a -> a -> a

-  ...

-  	-- Defined in ‘GHC.Num’

-infixl 6 +

-class Num a where

-  (+) :: a -> a -> a

-  ...

-  	-- Defined in ‘GHC.Num’

-infixl 6 +

-data Complex a = !a :+ !a 	-- Defined in ‘Data.Complex’

-infix 6 :+

-data Complex a = !a :+ !a 	-- Defined in ‘Data.Complex’

-infix 6 :+

-class (RealFrac a, Floating a) => RealFloat a where

-  floatRadix :: a -> Integer

-  floatDigits :: a -> Int

-  floatRange :: a -> (Int, Int)

-  decodeFloat :: a -> (Integer, Int)

-  encodeFloat :: Integer -> Int -> a

-  exponent :: a -> Int

-  significand :: a -> a

-  scaleFloat :: Int -> a -> a

-  isNaN :: a -> Bool

-  isInfinite :: a -> Bool

-  isDenormalized :: a -> Bool

-  isNegativeZero :: a -> Bool

-  isIEEE :: a -> Bool

-  atan2 :: a -> a -> a

-  {-# MINIMAL floatRadix, floatDigits, floatRange, decodeFloat,

-              encodeFloat, isNaN, isInfinite, isDenormalized, isNegativeZero,

-              isIEEE #-}

-  	-- Defined in ‘GHC.Float’

-instance RealFloat Float -- Defined in ‘GHC.Float’

-instance RealFloat Double -- Defined in ‘GHC.Float’

-isPrefixOf :: Eq a => [a] -> [a] -> Bool

-  	-- Defined in ‘base-4.9.0.0:Data.OldList’

+class Num a where
+  (+) :: a -> a -> a
+  ...
+  	-- Defined in ‘GHC.Num’
+infixl 6 +
+class Num a where
+  (+) :: a -> a -> a
+  ...
+  	-- Defined in ‘GHC.Num’
+infixl 6 +
+data Data.Complex.Complex a = !a Data.Complex.:+ !a
+  	-- Defined in ‘Data.Complex’
+infix 6 Data.Complex.:+
+data Data.Complex.Complex a = !a Data.Complex.:+ !a
+  	-- Defined in ‘Data.Complex’
+infix 6 Data.Complex.:+
+class (RealFrac a, Floating a) => RealFloat a where
+  floatRadix :: a -> Integer
+  floatDigits :: a -> Int
+  floatRange :: a -> (Int, Int)
+  decodeFloat :: a -> (Integer, Int)
+  encodeFloat :: Integer -> Int -> a
+  exponent :: a -> Int
+  significand :: a -> a
+  scaleFloat :: Int -> a -> a
+  isNaN :: a -> Bool
+  isInfinite :: a -> Bool
+  isDenormalized :: a -> Bool
+  isNegativeZero :: a -> Bool
+  isIEEE :: a -> Bool
+  atan2 :: a -> a -> a
+  {-# MINIMAL floatRadix, floatDigits, floatRange, decodeFloat,
+              encodeFloat, isNaN, isInfinite, isDenormalized, isNegativeZero,
+              isIEEE #-}
+  	-- Defined in ‘GHC.Float’
+instance RealFloat Float -- Defined in ‘GHC.Float’
+instance RealFloat Double -- Defined in ‘GHC.Float’
+base-4.9.0.0:Data.OldList.isPrefixOf :: Eq a => [a] -> [a] -> Bool
+  	-- Defined in ‘base-4.9.0.0:Data.OldList’