testsuite/tests/indexed-types/should_fail/T3092.stderr

 
-T3092.hs:5:1: [GHC-06204]
-    Illegal family instance for ‘T’
-      (T is not an indexed type family)
-    In the data instance declaration for ‘T’
+T3092.hs:5:1: error: [GHC-06204]
+    • Illegal family instance for ‘T’
+        (‘T’ is not a data family)
+    • In the data instance declaration for ‘T’
 
-T3092.hs:8:1: [GHC-06204]
-    Illegal family instance for ‘S’
-      (S is not an indexed type family)
-    In the type instance declaration for ‘S’
+T3092.hs:8:1: error: [GHC-06204]
+    • Illegal family instance for ‘S’
+        (‘S’ is not a type family)
+    • In the type instance declaration for ‘S’

testsuite/tests/indexed-types/should_fail/T5515.stderr

 
 T5515.hs:9:3: error: [GHC-53634]
-    The RHS of an associated type declaration mentions out-of-scope variable ‘a’
-      All such variables must be bound on the LHS
+    Out of scope type variable ‘a’ in the RHS of a family instance.
+      All such variables must be bound on the LHS.
 
 T5515.hs:15:3: error: [GHC-53634]
-    The RHS of an associated type declaration mentions out-of-scope variable ‘a’
-      All such variables must be bound on the LHS
+    Out of scope type variable ‘a’ in the RHS of a family instance.
+      All such variables must be bound on the LHS.

testsuite/tests/indexed-types/should_fail/T7536.stderr

 
-T7536.hs:8:18: error:
-    • Type variable ‘a’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
-        The real LHS (expanding synonyms) is: TF Int
+T7536.hs:8:18: error: [GHC-53634]
+    • Out of scope type variable ‘a’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
+      The real LHS (expanding synonyms) is: TF Int
     • In the type instance declaration for ‘TF’

testsuite/tests/indexed-types/should_fail/T7788.stderr

 
-T7788.hs:9:7: error:
+T7788.hs:9:7: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type: F (Id (Fix Id))
+    • In the expression: undefined
+      In an equation for ‘foo’: foo = undefined
+    Suggested fix:
       Use -freduction-depth=0 to disable this check
       (any upper bound you could choose might fail unpredictably with
        minor updates to GHC, so disabling the check is recommended if
        you're sure that type checking should terminate)
-    • In the expression: undefined
-      In an equation for ‘foo’: foo = undefined

testsuite/tests/indexed-types/should_fail/T8550.stderr

 
-T8550.hs:8:3: error:
+T8550.hs:8:3: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type: F ()
-      Use -freduction-depth=0 to disable this check
-      (any upper bound you could choose might fail unpredictably with
-       minor updates to GHC, so disabling the check is recommended if
-       you're sure that type checking should terminate)
     • In the ambiguity check for ‘A’
       To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
       In the definition of data constructor ‘A’
       In the data type declaration for ‘A’
+    Suggested fix:
+      Use -freduction-depth=0 to disable this check
+      (any upper bound you could choose might fail unpredictably with
+       minor updates to GHC, so disabling the check is recommended if
+       you're sure that type checking should terminate)

testsuite/tests/indexed-types/should_fail/T9097.stderr

 
-T9097.hs:10:3: error:
+T9097.hs:10:3: error: [GHC-73138]
     • Illegal type synonym family application ‘Any’ in instance:
         Foo Any
     • In the equations for closed type family ‘Foo’

testsuite/tests/indexed-types/should_fail/T9160.stderr

 
-T9160.hs:19:3: error:
+T9160.hs:19:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: F @(*)
         Actual: F @(* -> *)

testsuite/tests/indexed-types/should_fail/T9554.stderr

 
-T9554.hs:11:9: error:
+T9554.hs:11:9: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type:
         F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F Bool)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+    • In the expression: x
+      In an equation for ‘foo’: foo x = x
+    Suggested fix:
       Use -freduction-depth=0 to disable this check
       (any upper bound you could choose might fail unpredictably with
        minor updates to GHC, so disabling the check is recommended if
        you're sure that type checking should terminate)
-    • In the expression: x
-      In an equation for ‘foo’: foo x = x
 
-T9554.hs:13:17: error:
+T9554.hs:13:17: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type:
         F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F (F Bool)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
+    • In the first argument of ‘foo’, namely ‘Proxy’
+      In the expression: foo Proxy
+      In the expression: case foo Proxy of Proxy -> putStrLn "Made it!"
+    Suggested fix:
       Use -freduction-depth=0 to disable this check
       (any upper bound you could choose might fail unpredictably with
        minor updates to GHC, so disabling the check is recommended if
        you're sure that type checking should terminate)
-    • In the first argument of ‘foo’, namely ‘Proxy’
-      In the expression: foo Proxy
-      In the expression:
-        case foo Proxy of Proxy -> putStrLn "Made it!"

testsuite/tests/indexed-types/should_fail/T9896.stderr

 
-T9896.hs:8:3: [GHC-52347]
-    Wrong category of family instance; declaration was for a type family
-    In the newtype instance declaration for ‘TestT’
-    In the instance declaration for ‘Test Bool’
+T9896.hs:8:3: error: [GHC-52347]
+    • Wrong category of family instance; declaration was for a type family.
+    • In the newtype instance declaration for ‘TestT’
+      In the instance declaration for ‘Test Bool’

testsuite/tests/indexed-types/should_fail/TyFamArity1.stderr

 
 TyFamArity1.hs:4:15: error: [GHC-12985]
-    • Number of parameters must match family declaration; expected 2
+    • Number of parameters must match family declaration; expected 2.
     • In the type instance declaration for ‘T’

testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr

 
 TyFamArity2.hs:4:15: error: [GHC-12985]
-    • Number of parameters must match family declaration; expected 1
+    • Number of parameters must match family declaration; expected 1.
     • In the type instance declaration for ‘T’

testsuite/tests/interface-stability/README.mkd

@@ -5,7 +5,31 @@ core libraries do not inadvertently change. They use the `utils/dump-decls`
 utility to dump all exported declarations of all exposed modules for the
 following packages:
 
-  * base
+  * `base`
 
 These are compared against the expected exports in the test's corresponding
 `.stdout` file.
+
+
+## Updating expected output
+
+The `base-exports` test in particular has rather platform-dependent output.
+Consequently, updating its output can be a bit tricky. There are two ways by
+which one can do this:
+
+ * Extrapolation: The various platforms' `base-exports.stdout` files are
+   similar enough that one can often apply the same patch of one file to the
+   others.  For instance:
+   ```
+   for f in testsuite/tests/interface-stability/base-exports.stdout-*; do
+     git show | sed -e "s/base-exports.stdout/$(basename $f)/" | patch -p1
+   done
+   ```
+   In the case of conflicts, increasing the fuzz factor (using `-F`) can be
+   quite effective.
+
+ * Using CI: Each CI job produces a tarball, `unexpected-test-output.tar.gz`,
+   which contains the output produced by the job's failing tests. Simply
+   download this tarball and extracting the appropriate `base-exports.stdout-*`
+   files into this directory.
+

testsuite/tests/interface-stability/base-exports.stdout

@@ -4650,6 +4650,7 @@ module GHC.Base where
   unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
   unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
   unsafeThawArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
+  unsafeThawByteArray# :: forall d. ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
   unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
   until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
   vacuous :: forall (f :: * -> *) a. Functor f => f Void -> f a
@@ -6703,6 +6704,7 @@ module GHC.Exts where
   unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
   unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
   unsafeThawArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
+  unsafeThawByteArray# :: forall d. ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
   unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
   void# :: (# #)
   waitRead# :: forall d. Int# -> State# d -> State# d

testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs

@@ -4650,6 +4650,7 @@ module GHC.Base where
   unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
   unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
   unsafeThawArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
+  unsafeThawByteArray# :: forall d. ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
   unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
   until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
   vacuous :: forall (f :: * -> *) a. Functor f => f Void -> f a
@@ -6672,6 +6673,7 @@ module GHC.Exts where
   unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
   unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
   unsafeThawArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
+  unsafeThawByteArray# :: forall d. ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
   unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
   void# :: (# #)
   waitRead# :: forall d. Int# -> State# d -> State# d

testsuite/tests/interface-stability/base-exports.stdout-mingw32

@@ -4653,6 +4653,7 @@ module GHC.Base where
   unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
   unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
   unsafeThawArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
+  unsafeThawByteArray# :: forall d. ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
   unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
   until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
   vacuous :: forall (f :: * -> *) a. Functor f => f Void -> f a
@@ -6852,6 +6853,7 @@ module GHC.Exts where
   unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
   unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
   unsafeThawArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
+  unsafeThawByteArray# :: forall d. ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
   unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
   void# :: (# #)
   waitRead# :: forall d. Int# -> State# d -> State# d

testsuite/tests/interface-stability/base-exports.stdout-ws-32

@@ -4650,6 +4650,7 @@ module GHC.Base where
   unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
   unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
   unsafeThawArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
+  unsafeThawByteArray# :: forall d. ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
   unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
   until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
   vacuous :: forall (f :: * -> *) a. Functor f => f Void -> f a
@@ -6703,6 +6704,7 @@ module GHC.Exts where
   unsafeFreezeSmallArray# :: forall {l :: Levity} d (a :: TYPE (BoxedRep l)). SmallMutableArray# d a -> State# d -> (# State# d, SmallArray# a #)
   unsafePtrEquality# :: forall (a :: UnliftedType) (b :: UnliftedType). a -> b -> Int#
   unsafeThawArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. Array# a -> State# d -> (# State# d, MutableArray# d a #)
+  unsafeThawByteArray# :: forall d. ByteArray# -> State# d -> (# State# d, MutableByteArray# d #)
   unsafeThawSmallArray# :: forall {l :: Levity} (a :: TYPE (BoxedRep l)) d. SmallArray# a -> State# d -> (# State# d, SmallMutableArray# d a #)
   void# :: (# #)
   waitRead# :: forall d. Int# -> State# d -> State# d

testsuite/tests/parser/should_compile/T23315/Makefile

+TOP=../../..
+include $(TOP)/mk/boilerplate.mk
+include $(TOP)/mk/test.mk
+
+SETUP = ./Setup -v0
+
+T23315: clean
+	$(MAKE) clean
+	'$(TEST_HC)' $(TEST_HC_OPTS) -v0 --make Setup
+	$(SETUP) clean
+	$(SETUP) configure $(CABAL_MINIMAL_BUILD) --with-ghc='$(TEST_HC)' --ghc-options='$(TEST_HC_OPTS)'
+	$(SETUP) build 1>&2
+ifneq "$(CLEANUP)" ""
+	$(MAKE) clean
+endif
+
+clean :
+	$(RM) -r */dist Setup$(exeext) *.o *.hi

testsuite/tests/parser/should_compile/T23315/Setup.hs

+import Distribution.Simple
+main = defaultMain
\ No newline at end of file

testsuite/tests/parser/should_compile/T23315/T23315.cabal

+name:                T23315
+version:             0.1.0.0
+build-type:          Simple
+cabal-version:       2.0
+
+library
+  signatures:          T23315
+  build-depends:       base >= 4.3 && < 5
+  default-language:    Haskell2010
+  ghc-options:         -Wall -haddock -ddump-parsed-ast

testsuite/tests/parser/should_compile/T23315/T23315.hsig

+signature T23315 where
+-- | My unit
+a :: ()
+-- ^ More docs