Refactoring on IdInfo and system derived names

Some modest refactoring, triggered in part by Trac #11051

* Kill off PatSynId, ReflectionId in IdDetails
  They were barely used, and only for pretty-printing

* Add helper function Id.mkExportedVanillaId, and use it

* Polish up OccName.isDerivedOccName, as a predicate for
  definitions generated internally by GHC, which we
  might not want to show to the user.

* Kill off unused OccName.mkDerivedTyConOcc

* Shorten the derived OccNames for newtype and data
  instance axioms

* A bit of related refactoring around newFamInstAxiomName

1 files changed, 11 insertions, 11 deletions

diff --git a/testsuite/tests/ghci/scripts/T4175.stdout b/testsuite/tests/ghci/scripts/T4175.stdout
index dbf2f371dd..ef5b5c69c1 100644
--- a/testsuite/tests/ghci/scripts/T4175.stdout
+++ b/testsuite/tests/ghci/scripts/T4175.stdout
@@ -1,19 +1,19 @@
 type family A a b
   Kind: * -> * -> *
   	-- Defined at T4175.hs:7:1
-type instance A (B a) b = () 	-- Defined at T4175.hs:10:1
-type instance A (Maybe a) a = a 	-- Defined at T4175.hs:9:1
-type instance A Int Int = () 	-- Defined at T4175.hs:8:1
+type instance A (B a) b = () 	-- Defined at T4175.hs:10:15
+type instance A (Maybe a) a = a 	-- Defined at T4175.hs:9:15
+type instance A Int Int = () 	-- Defined at T4175.hs:8:15
 data family B a 	-- Defined at T4175.hs:12:1
 instance G B -- Defined at T4175.hs:34:10
 data instance B () = MkB 	-- Defined at T4175.hs:13:15
-type instance A (B a) b = () 	-- Defined at T4175.hs:10:1
+type instance A (B a) b = () 	-- Defined at T4175.hs:10:15
 class C a where
   type family D a b
     Kind: * -> * -> *
   	-- Defined at T4175.hs:16:5
-type instance D () () = Bool 	-- Defined at T4175.hs:22:5
-type instance D Int () = String 	-- Defined at T4175.hs:19:5
+type instance D () () = Bool 	-- Defined at T4175.hs:22:10
+type instance D Int () = String 	-- Defined at T4175.hs:19:10
 type family E a
   Kind: * -> *
   where
@@ -29,8 +29,8 @@ instance Ord () -- Defined in ‘GHC.Classes’
 instance Read () -- Defined in ‘GHC.Read’
 instance Show () -- Defined in ‘GHC.Show’
 instance Monoid () -- Defined in ‘GHC.Base’
-type instance D () () = Bool 	-- Defined at T4175.hs:22:5
-type instance D Int () = String 	-- Defined at T4175.hs:19:5
+type instance D () () = Bool 	-- Defined at T4175.hs:22:10
+type instance D Int () = String 	-- Defined at T4175.hs:19:10
 data instance B () = MkB 	-- Defined at T4175.hs:13:15
 data Maybe a = Nothing | Just a 	-- Defined in ‘GHC.Base’
 instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Base’
@@ -43,7 +43,7 @@ instance Applicative Maybe -- Defined in ‘GHC.Base’
 instance Foldable Maybe -- Defined in ‘Data.Foldable’
 instance Traversable Maybe -- Defined in ‘Data.Traversable’
 instance Monoid a => Monoid (Maybe a) -- Defined in ‘GHC.Base’
-type instance A (Maybe a) a = a 	-- Defined at T4175.hs:9:1
+type instance A (Maybe a) a = a 	-- Defined at T4175.hs:9:15
 data Int = I# Int# 	-- Defined in ‘GHC.Types’
 instance C Int -- Defined at T4175.hs:18:10
 instance Bounded Int -- Defined in ‘GHC.Enum’
@@ -55,7 +55,7 @@ instance Ord Int -- Defined in ‘GHC.Classes’
 instance Read Int -- Defined in ‘GHC.Read’
 instance Real Int -- Defined in ‘GHC.Real’
 instance Show Int -- Defined in ‘GHC.Show’
-type instance D Int () = String 	-- Defined at T4175.hs:19:5
-type instance A Int Int = () 	-- Defined at T4175.hs:8:1
+type instance D Int () = String 	-- Defined at T4175.hs:19:10
+type instance A Int Int = () 	-- Defined at T4175.hs:8:15
 class Z a 	-- Defined at T4175.hs:28:1
 instance F (Z a) -- Defined at T4175.hs:31:10