hadrian/src/Settings/Flavours/Performance.hs

@@ -8,7 +8,7 @@ import {-# SOURCE #-} Settings.Default
 performanceFlavour :: Flavour
 performanceFlavour = splitSections $ defaultFlavour
     { name = "perf"
-    , extraArgs = performanceArgs }
+    , extraArgs = performanceArgs <> defaultHaddockExtraArgs }
 
 performanceArgs :: Args
 performanceArgs = sourceArgs SourceArgs

hadrian/src/Settings/Flavours/Validate.hs

@@ -12,7 +12,7 @@ import {-# SOURCE #-} Settings.Default
 validateFlavour :: Flavour
 validateFlavour = enableLinting $ werror $ defaultFlavour
     { name = "validate"
-    , extraArgs = validateArgs
+    , extraArgs = validateArgs <> defaultHaddockExtraArgs
     , libraryWays = Set.fromList <$>
                     mconcat [ pure [vanilla]
                             , notStage0 ? platformSupportsSharedLibs ? pure [dynamic]

libraries/ghc-prim/changelog.md

+## 0.12.0
+
+- Shipped with GHC 9.10.1
+
+- The `unsafeThawByteArray#` primop was added, serving as a inverse to the existing
+  `unsafeFreezeByteArray#` primop (see #22710).
+
 ## 0.11.0
 
 - Shipped with GHC 9.8.1

libraries/ghc-prim/ghc-prim.cabal → libraries/ghc-prim/ghc-prim.cabal.in

@@ -27,6 +27,9 @@ source-repository head
 custom-setup
     setup-depends: base >= 4 && < 5, process, filepath, directory, Cabal >= 1.23 && < 3.9
 
+flag need-atomic
+  default: @CabalNeedLibatomic@
+
 Library
     default-language: Haskell2010
     other-extensions:
@@ -81,6 +84,10 @@ Library
         -- is just an empty shell.
         extra-libraries: c, m
 
+    if flag(need-atomic)
+        -- for 64-bit atomic ops on armel (#20549)
+        extra-libraries: atomic
+
     if !os(ghcjs)
       c-sources:
           cbits/atomic.c

testsuite/tests/dependent/should_fail/BadTelescope.stderr

 
-BadTelescope.hs:9:1: error:
+BadTelescope.hs:9:1: error: [GHC-87279]
     • The kind of ‘X’ is ill-scoped
         Inferred kind: X :: forall (a :: k) k (b :: k) -> SameKind a b -> *
-        Perhaps try this order instead:
-          k (a :: k) (b :: k) (c :: SameKind a b)
+      Perhaps try this order instead:
+        k (a :: k) (b :: k) (c :: SameKind a b)
     • In the data type declaration for ‘X’

testsuite/tests/dependent/should_fail/BadTelescope3.stderr

 
-BadTelescope3.hs:9:1: error:
+BadTelescope3.hs:9:1: error: [GHC-87279]
     • The kind of ‘S’ is ill-scoped
         Inferred kind: S :: k -> forall k -> k -> *
-        Perhaps try this order instead: k (a :: k) (b :: k)
+      Perhaps try this order instead: k (a :: k) (b :: k)
     • In the type synonym declaration for ‘S’

testsuite/tests/dependent/should_fail/BadTelescope4.stderr

 
-BadTelescope4.hs:9:1: error:
+BadTelescope4.hs:9:1: error: [GHC-87279]
     • The kind of ‘Bad’ is ill-scoped
-        Inferred kind: Bad :: forall {k} (b :: Proxy a). forall (a :: k) ->
+        Inferred kind: Bad :: forall {k} (b :: Proxy a).
+                              forall (a :: k) ->
                               Proxy b -> forall (d :: Proxy a) -> SameKind b d -> *
       NB: Inferred variables
         (namely: k) always come first

testsuite/tests/dependent/should_fail/T14066f.stderr

 
-T14066f.hs:8:1: error:
+T14066f.hs:8:1: error: [GHC-87279]
     • The kind of ‘P’ is ill-scoped
         Inferred kind: P :: k -> forall k -> *
       Perhaps try this order instead: k (a :: k)

testsuite/tests/dependent/should_fail/T14066g.stderr

 
-T14066g.hs:9:1: error:
+T14066g.hs:9:1: error: [GHC-87279]
     • The kind of ‘Q’ is ill-scoped
-        Inferred kind: Q :: forall (c :: a). forall a (b :: a) ->
-                            SameKind c b -> *
+        Inferred kind: Q :: forall (c :: a).
+                            forall a (b :: a) -> SameKind c b -> *
       NB: Specified variables (namely: (c :: a)) always come first
       Perhaps try this order instead:
         a (c :: a) (b :: a) (d :: SameKind c b)

testsuite/tests/dependent/should_fail/T15591b.stderr

 
-T15591b.hs:9:3: error:
+T15591b.hs:9:3: error: [GHC-87279]
     • The kind of ‘T4’ is ill-scoped
-        Inferred kind: T4 :: forall {b :: Proxy a}. forall a ->
-                             Proxy b -> *
+        Inferred kind: T4 :: forall {b :: Proxy a}.
+                             forall a -> Proxy b -> *
       NB: Inferred variables (namely: (b :: Proxy a)) always come first
       Perhaps try this order instead: a (b :: Proxy a) (c :: Proxy b)
     • In the associated type family declaration for ‘T4’

testsuite/tests/dependent/should_fail/T15591c.stderr

 
-T15591c.hs:9:3: error:
+T15591c.hs:9:3: error: [GHC-87279]
     • The kind of ‘T5’ is ill-scoped
         Inferred kind: T5 :: forall {b :: Proxy a}.
                              Proxy b -> forall a -> *

testsuite/tests/dependent/should_fail/T15743c.stderr

 
-T15743c.hs:10:1: error:
+T15743c.hs:10:1: error: [GHC-87279]
     • The kind of ‘T’ is ill-scoped
         Inferred kind: T :: forall {d :: k}.
                             forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->

testsuite/tests/dependent/should_fail/T15743d.stderr

 
-T15743d.hs:10:1: error:
+T15743d.hs:10:1: error: [GHC-87279]
     • The kind of ‘T2’ is ill-scoped
         Inferred kind: T2 :: forall (d :: k).
                              forall k (c :: k) (a :: Proxy c) (b :: Proxy d) ->

testsuite/tests/deriving/should_fail/T23522.stderr

 
-T23522.hs:5:42: [GHC-53946]
-     Illegal instance for a type synonym
-      A class instance must be for a class
-     In the data declaration for ‘Proposition’
+T23522.hs:5:42: error: [GHC-53946]
+    • Illegal instance for type synonym ‘F’.
+      Instance heads must be of the form
+        C ty_1 ... ty_n
+      where ‘C’ is a class.
+    • In the data declaration for ‘Proposition’

testsuite/tests/indexed-types/should_compile/T11361a.stderr

 
-T11361a.hs:7:3: error:
+T11361a.hs:7:3: error: [GHC-41522]
     • Illegal argument ‘*’ in:
         ‘type F @(*) x = ...’
-        The arguments to ‘F’ must all be distinct type variables
+        The arguments to ‘F’ must all be distinct type variables.
     • In the default type instance declaration for ‘F’
       In the class declaration for ‘C’

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

 
-ExplicitForAllFams4a.hs:8:12: error:
+ExplicitForAllFams4a.hs:8:12: error: [GHC-30337]
     • Type variable ‘b’ is bound by a forall,
-        but not used in the family instance
+        but not used in the family instance.
     • In the equations for closed type family ‘H’
       In the type family declaration for ‘H’
 
-ExplicitForAllFams4a.hs:9:10: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4a.hs:9:10: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the equations for closed type family ‘H’
       In the type family declaration for ‘H’

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

 
-ExplicitForAllFams4b.hs:8:24: error:
+ExplicitForAllFams4b.hs:8:24: error: [GHC-30337]
     • Type variable ‘b’ is bound by a forall,
-        but not used in the family instance
+        but not used in the family instance.
     • In the type instance declaration for ‘J’
 
 ExplicitForAllFams4b.hs:8:27: error: [GHC-34447]
@@ -9,14 +9,14 @@ ExplicitForAllFams4b.hs:8:27: error: [GHC-34447]
       J [a] = Float -- Defined at ExplicitForAllFams4b.hs:8:27
       J _ = Maybe b -- Defined at ExplicitForAllFams4b.hs:9:27
 
-ExplicitForAllFams4b.hs:9:22: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:9:22: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the type instance declaration for ‘J’
 
-ExplicitForAllFams4b.hs:12:24: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:12:24: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the data instance declaration for ‘K’
 
 ExplicitForAllFams4b.hs:12:27: error: [GHC-34447]
@@ -24,14 +24,14 @@ ExplicitForAllFams4b.hs:12:27: error: [GHC-34447]
       K (a, Bool) -- Defined at ExplicitForAllFams4b.hs:12:27
       K _ -- Defined at ExplicitForAllFams4b.hs:13:27
 
-ExplicitForAllFams4b.hs:13:22: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:13:22: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the data instance declaration for ‘K’
 
-ExplicitForAllFams4b.hs:16:27: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:16:27: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the newtype instance declaration for ‘L’
 
 ExplicitForAllFams4b.hs:16:30: error: [GHC-34447]
@@ -39,57 +39,57 @@ ExplicitForAllFams4b.hs:16:30: error: [GHC-34447]
       L (a, Bool) -- Defined at ExplicitForAllFams4b.hs:16:30
       L _ -- Defined at ExplicitForAllFams4b.hs:17:30
 
-ExplicitForAllFams4b.hs:17:25: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:17:25: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the newtype instance declaration for ‘L’
 
-ExplicitForAllFams4b.hs:24:3: error:
+ExplicitForAllFams4b.hs:24:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: CT Int _
         Actual: CT [a] (a, a)
     • In the type instance declaration for ‘CT’
       In the instance declaration for ‘C Int’
 
-ExplicitForAllFams4b.hs:24:17: error:
+ExplicitForAllFams4b.hs:24:17: error: [GHC-30337]
     • Type variable ‘b’ is bound by a forall,
-        but not used in the family instance
+        but not used in the family instance.
     • In the type instance declaration for ‘CT’
       In the instance declaration for ‘C Int’
 
-ExplicitForAllFams4b.hs:25:3: error:
+ExplicitForAllFams4b.hs:25:3: error: [GHC-95424]
     • Type indexes must match class instance head
       Expected: CD Int _
         Actual: CD [a] (a, a)
     • In the data instance declaration for ‘CD’
       In the instance declaration for ‘C Int’
 
-ExplicitForAllFams4b.hs:25:17: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:25:17: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the data instance declaration for ‘CD’
       In the instance declaration for ‘C Int’
 
-ExplicitForAllFams4b.hs:28:15: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:28:15: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the type instance declaration for ‘CT’
       In the instance declaration for ‘C Bool’
 
-ExplicitForAllFams4b.hs:29:15: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:29:15: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the data instance declaration for ‘CD’
       In the instance declaration for ‘C Bool’
 
-ExplicitForAllFams4b.hs:32:15: error:
+ExplicitForAllFams4b.hs:32:15: error: [GHC-30337]
     • Type variable ‘b’ is bound by a forall,
-        but not used in the family instance
+        but not used in the family instance.
     • In the type instance declaration for ‘CT’
       In the instance declaration for ‘C Double’
 
-ExplicitForAllFams4b.hs:33:15: error:
-    • Type variable ‘b’ is mentioned in the RHS,
-        but not bound on the LHS of the family instance
+ExplicitForAllFams4b.hs:33:15: error: [GHC-53634]
+    • Out of scope type variable ‘b’ in the RHS of a family instance.
+        All such variables must be bound on the LHS.
     • In the data instance declaration for ‘CD’
       In the instance declaration for ‘C Double’

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

 
 Overlap4.hs:7:3: error: [GHC-12985]
-    • Number of parameters must match family declaration; expected 2
+    • Number of parameters must match family declaration; expected 2.
     • In the type family declaration for ‘F’

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

 
-SimpleFail13.hs:9:15: error:
+SimpleFail13.hs:9:15: error: [GHC-73138]
     • Illegal type synonym family application ‘C a’ in instance:
         D [C a]
     • In the data instance declaration for ‘D’
 
-SimpleFail13.hs:13:15: error:
+SimpleFail13.hs:13:15: error: [GHC-73138]
     • Illegal type synonym family application ‘C a’ in instance:
         E [C a]
     • In the type instance declaration for ‘E’