testsuite/tests/parser/should_compile/T23315/T23315.stderr

+
+==================== Parser AST ====================
+
+(L
+ { T23315.hsig:1:1 }
+ (HsModule
+  (XModulePs
+   (EpAnn
+    (Anchor
+     { T23315.hsig:1:1 }
+     (UnchangedAnchor))
+    (AnnsModule
+     [(AddEpAnn AnnSignature (EpaSpan { T23315.hsig:1:1-9 }))
+     ,(AddEpAnn AnnWhere (EpaSpan { T23315.hsig:1:18-22 }))]
+      []
+     (Nothing))
+    (EpaComments
+     []))
+   (VirtualBraces
+    (1))
+   (Nothing)
+   (Nothing))
+  (Just
+   (L
+    (SrcSpanAnn (EpAnnNotUsed) { T23315.hsig:1:11-16 })
+    {ModuleName: T23315}))
+  (Nothing)
+  []
+  [(L
+    (SrcSpanAnn (EpAnnNotUsed) { T23315.hsig:2:1-12 })
+    (DocD
+     (NoExtField)
+     (DocCommentNext
+      (L
+       { T23315.hsig:2:1-12 }
+       (WithHsDocIdentifiers
+        (MultiLineDocString
+         (HsDocStringNext)
+         (:|
+          (L
+           { T23315.hsig:2:5-12 }
+           (HsDocStringChunk
+            " My unit"))
+          []))
+        [])))))
+  ,(L
+    (SrcSpanAnn (EpAnn
+                 (Anchor
+                  { T23315.hsig:3:1-7 }
+                  (UnchangedAnchor))
+                 (AnnListItem
+                  [])
+                 (EpaComments
+                  [])) { T23315.hsig:3:1-7 })
+    (SigD
+     (NoExtField)
+     (TypeSig
+      (EpAnn
+       (Anchor
+        { T23315.hsig:3:1 }
+        (UnchangedAnchor))
+       (AnnSig
+        (AddEpAnn AnnDcolon (EpaSpan { T23315.hsig:3:3-4 }))
+        [])
+       (EpaComments
+        []))
+      [(L
+        (SrcSpanAnn (EpAnnNotUsed) { T23315.hsig:3:1 })
+        (Unqual
+         {OccName: a}))]
+      (HsWC
+       (NoExtField)
+       (L
+        (SrcSpanAnn (EpAnnNotUsed) { T23315.hsig:3:6-7 })
+        (HsSig
+         (NoExtField)
+         (HsOuterImplicit
+          (NoExtField))
+         (L
+          (SrcSpanAnn (EpAnnNotUsed) { T23315.hsig:3:6-7 })
+          (HsTupleTy
+           (EpAnn
+            (Anchor
+             { T23315.hsig:3:6 }
+             (UnchangedAnchor))
+            (AnnParen
+             (AnnParens)
+             (EpaSpan { T23315.hsig:3:6 })
+             (EpaSpan { T23315.hsig:3:7 }))
+            (EpaComments
+             []))
+           (HsBoxedOrConstraintTuple)
+           []))))))))
+  ,(L
+    (SrcSpanAnn (EpAnnNotUsed) { T23315.hsig:4:1-14 })
+    (DocD
+     (NoExtField)
+     (DocCommentPrev
+      (L
+       { T23315.hsig:4:1-14 }
+       (WithHsDocIdentifiers
+        (MultiLineDocString
+         (HsDocStringPrevious)
+         (:|
+          (L
+           { T23315.hsig:4:5-14 }
+           (HsDocStringChunk
+            " More docs"))
+          []))
+        [])))))]))
+
+

testsuite/tests/parser/should_compile/T23315/all.T

+test('T23315',
+     [extra_files(['Setup.hs']), js_broken(22352)],
+     makefile_test, [])

testsuite/tests/parser/should_fail/T3811c.stderr

 
-T3811c.hs:6:10: error: [GHC-12222]
-    • Illegal head of an instance declaration: ‘!Show D’
-        Instance heads must be of the form
-          C ty_1 ... ty_n
-        where ‘C’ is a class
+T3811c.hs:6:10: error: [GHC-53946]
+    • Illegal head of an instance declaration: ‘!Show D’.
+      Instance heads must be of the form
+        C ty_1 ... ty_n
+      where ‘C’ is a class.
     • In an instance declaration

testsuite/tests/polykinds/T13267.stderr

 
 T13267.hs:6:10: error: [GHC-53946]
-    • Illegal instance for a type synonym
-      A class instance must be for a class
+    • Illegal instance for type synonym ‘C1’.
+      Instance heads must be of the form
+        C ty_1 ... ty_n
+      where ‘C’ is a class.
     • In the instance declaration for ‘C1 Int’
 
 T13267.hs:10:10: error: [GHC-53946]
-    • Illegal instance for a type synonym
-      A class instance must be for a class
+    • Illegal instance for type synonym ‘C2’.
+      Instance heads must be of the form
+        C ty_1 ... ty_n
+      where ‘C’ is a class.
     • In the instance declaration for ‘C2 Int’

testsuite/tests/polykinds/T14110.stderr

 
 T14110.hs:9:8: 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 ‘R_’
       In the instance declaration for ‘R Eq’

testsuite/tests/polykinds/T14450.stderr

 
-T14450.hs:35:3: error:
+T14450.hs:35:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: Dom @k @k (IddSym0 @k)
         Actual: Dom @(*) @(*) (IddSym0 @(*))

testsuite/tests/polykinds/T9574.stderr

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

testsuite/tests/polykinds/TidyClassKinds.stderr

 
 TidyClassKinds.hs:13:10: error: [GHC-93557]
     • Illegal instance declaration for
-        ‘Poly @{k -> *} @{k -> *} (ProxySyn @{k}) (ProxySyn @{k})’:
+        ‘Poly @{k -> *} @{k1 -> *} (ProxySyn @{k}) (ProxySyn @{k1})’:
         All instance types must be of the form (T t1 ... tn)
         where T is not a synonym.
     • In the instance declaration for ‘Poly ProxySyn ProxySyn’

testsuite/tests/primops/should_run/T22710.hs

+-- | Test 'unsafeThawByteArray#'.
+
+{-# LANGUAGE MagicHash, UnboxedTuples #-}
+
+import GHC.Exts (newByteArray#, indexWord8Array#, writeWord8Array#,
+                 unsafeFreezeByteArray#, unsafeThawByteArray#,
+                 ByteArray#, MutableByteArray#, Int(I#))
+import GHC.Word
+import GHC.ST
+import Prelude hiding (toList)
+
+main :: IO ()
+main = do
+    res <- return $ runST $ do
+        let n = 32 :: Int
+        marr <- newByteArray n
+        mapM_ (\i -> writeWord8Array marr i (fromIntegral i)) [0..n-1]
+        arr <- unsafeFreezeByteArray marr
+        marr' <- unsafeThawByteArray arr
+        arr' <- unsafeFreezeByteArray marr'
+        return $ toList arr' 5
+
+    print res
+
+data ByteArray = ByteArray { unBA :: ByteArray# }
+data MByteArray s = MByteArray { unMBA :: MutableByteArray# s }
+
+newByteArray :: Int -> ST s (MByteArray s)
+newByteArray (I# n#) = ST $ \s# -> case newByteArray# n# s# of
+    (# s2#, marr# #) -> (# s2#, MByteArray marr# #)
+
+indexWord8Array :: ByteArray -> Int -> Word8
+indexWord8Array arr (I# i#) = case indexWord8Array# (unBA arr) i# of
+    a -> W8# a
+
+writeWord8Array :: MByteArray s -> Int -> Word8 -> ST s ()
+writeWord8Array marr (I# i#) (W8# a) = ST $ \ s# ->
+    case writeWord8Array# (unMBA marr) i# a s# of
+        s2# -> (# s2#, () #)
+
+unsafeFreezeByteArray :: MByteArray s -> ST s ByteArray
+unsafeFreezeByteArray marr = ST $ \ s# ->
+    case unsafeFreezeByteArray# (unMBA marr) s# of
+        (# s2#, arr# #) -> (# s2#, ByteArray arr# #)
+
+unsafeThawByteArray :: ByteArray -> ST s (MByteArray s)
+unsafeThawByteArray arr = ST $ \ s# ->
+    case unsafeThawByteArray# (unBA arr) s# of
+        (# s2#, marr# #) -> (# s2#, MByteArray marr# #)
+
+toList :: ByteArray -> Int -> [Word8]
+toList arr n = go 0
+  where
+    go i | i >= n = []
+         | otherwise = indexWord8Array arr i : go (i+1)

testsuite/tests/primops/should_run/T22710.stdout

+[0,1,2,3,4]

testsuite/tests/primops/should_run/all.T

@@ -71,3 +71,4 @@ test('FMA_ConstantFold'
 
 test('T21624', normal, compile_and_run, [''])
 test('T23071', ignore_stdout, compile_and_run, [''])
+test('T22710', normal, compile_and_run, [''])

testsuite/tests/quantified-constraints/T15316A.stderr

 
-T15316A.hs:15:23:
-     Reduction stack overflow; size = 201
+T15316A.hs:15:23: error: [GHC-40404]
+    • Reduction stack overflow; size = 201
       When simplifying the following type: Class a
+    • In the third argument of ‘subsume’, namely ‘method’
+      In the expression: subsume p p method
+      In an equation for ‘value’: value p = subsume p p method
+    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 third argument of ‘subsume’, namely ‘method’
-      In the expression: subsume p p method
-      In an equation for ‘value’: value p = subsume p p method

testsuite/tests/quantified-constraints/T17267.stderr

 
-T17267.hs:17:12: error:
+T17267.hs:17:12: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type: a ~ b
-      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: r
       In an equation for ‘oops’: oops r = r
       In an equation for ‘unsafeCoerce’:
@@ -14,3 +10,8 @@ T17267.hs:17:12: error:
             where
                 oops :: (a ~ b => Thing a b) => (Thing a b => r) -> r
                 oops r = r
+    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/quantified-constraints/T17267a.stderr

 
-T17267a.hs:18:12: error:
+T17267a.hs:18:12: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type: C a b
-      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: op x
       In an equation for ‘oops’: oops x = op x
       In an equation for ‘uc’:
@@ -14,3 +10,8 @@ T17267a.hs:18:12: error:
             where
                 oops :: (C a b => C a b) => a -> b
                 oops x = op 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)

testsuite/tests/quantified-constraints/T17267b.stderr

 
-T17267b.hs:15:12: error:
+T17267b.hs:15:12: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type: a ~ b
-      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 ‘oops’: oops x = x
       In an equation for ‘uc’:
@@ -14,3 +10,8 @@ T17267b.hs:15:12: error:
             where
                 oops :: (a ~ b => a ~ b) => a -> b
                 oops 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)

testsuite/tests/quantified-constraints/T17267c.stderr

 
-T17267c.hs:22:14: error:
+T17267c.hs:22:14: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type: C a b
-      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: r
       In an equation for ‘oops’: oops r = r
       In an equation for ‘unsafeCoerce’:
@@ -14,3 +10,8 @@ T17267c.hs:22:14: error:
             where
                 oops :: (C a b => Thing a b) => (Thing a b => x) -> x
                 oops r = r
+    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/quantified-constraints/T17267e.stderr

 
-T17267e.hs:16:14: error:
+T17267e.hs:16:14: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type: Show a
+    • In the expression: show
+      In an equation for ‘pseudoShow’: pseudoShow = show
+    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: show
-      In an equation for ‘pseudoShow’: pseudoShow = show

testsuite/tests/quantified-constraints/T17458.stderr

 
-T17458.hs:32:32: error:
+T17458.hs:32:32: error: [GHC-40404]
     • Reduction stack overflow; size = 201
       When simplifying the following type: Typeable Void
-      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: eqT
       In the expression:
         case eqT of
@@ -16,3 +12,8 @@ T17458.hs:32:32: error:
             = case eqT of
                 Nothing -> False
                 Just (Refl :: a :~: Void) -> True
+    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/rename/should_fail/T15828.stderr

 
-T15828.hs:9:3: error:
+T15828.hs:9:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: T (Maybe a) _
         Actual: T (Maybe a1) b

testsuite/tests/rename/should_fail/T16385.stderr

 
-T16385.hs:4:10: error: [GHC-56538]
-    • Instance head is not headed by a class: c
+T16385.hs:4:10: error: [GHC-53946]
+    • Illegal head of an instance declaration: ‘c’.
+      Instance heads must be of the form
+        C ty_1 ... ty_n
+      where ‘C’ is a class.
     • In the instance declaration for ‘c’
 
-T16385.hs:5:10: error: [GHC-56538]
-    • Instance head is not headed by a class: c
+T16385.hs:5:10: error: [GHC-53946]
+    • Illegal head of an instance declaration: ‘c’.
+      Instance heads must be of the form
+        C ty_1 ... ty_n
+      where ‘C’ is a class.
     • In the instance declaration for ‘c’