[Git][ghc/ghc][wip/9.4.6-backports] Prepare release 9.4.6
Zubin (@wz1000)
gitlab at gitlab.haskell.org
Fri Aug 4 15:37:33 UTC 2023
Zubin pushed to branch wip/9.4.6-backports at Glasgow Haskell Compiler / GHC
Commits:
429a6422 by Zubin Duggal at 2023-08-04T21:07:22+05:30
Prepare release 9.4.6
- - - - -
26 changed files:
- configure.ac
- + docs/users_guide/9.4.6-notes.rst
- docs/users_guide/release-notes.rst
- libraries/base/base.cabal
- libraries/base/changelog.md
- libraries/ghc-prim/changelog.md
- libraries/ghc-prim/ghc-prim.cabal
- testsuite/tests/backpack/cabal/bkpcabal02/bkpcabal02.stdout
- testsuite/tests/backpack/should_compile/bkp16.stderr
- testsuite/tests/cabal/t18567/T18567.stderr
- testsuite/tests/dependent/should_compile/T14729.stderr
- testsuite/tests/dependent/should_compile/T15743.stderr
- testsuite/tests/dependent/should_compile/T15743e.stderr
- testsuite/tests/indexed-types/should_compile/T15711.stderr
- testsuite/tests/indexed-types/should_compile/T15852.stderr
- testsuite/tests/polykinds/T15592.stderr
- testsuite/tests/polykinds/T15592b.stderr
- testsuite/tests/printer/T18052a.stderr
- testsuite/tests/rep-poly/RepPolyPatBind.stderr
- testsuite/tests/th/T21547.stderr
- testsuite/tests/typecheck/should_compile/T12763.stderr
- testsuite/tests/typecheck/should_compile/T18406b.stderr
- testsuite/tests/typecheck/should_compile/T18529.stderr
- testsuite/tests/typecheck/should_compile/T21023.stderr
- testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr
- testsuite/tests/typecheck/should_fail/VtaFail.stderr
Changes:
=====================================
configure.ac
=====================================
@@ -13,7 +13,7 @@ dnl
# see what flags are available. (Better yet, read the documentation!)
#
-AC_INIT([The Glorious Glasgow Haskell Compilation System], [9.4.5], [glasgow-haskell-bugs at haskell.org], [ghc-AC_PACKAGE_VERSION])
+AC_INIT([The Glorious Glasgow Haskell Compilation System], [9.4.6], [glasgow-haskell-bugs at haskell.org], [ghc-AC_PACKAGE_VERSION])
# Version on master must be X.Y (not X.Y.Z) for ProjectVersionMunged variable
# to be useful (cf #19058). However, the version must have three components
# (X.Y.Z) on stable branches (e.g. ghc-9.2) to ensure that pre-releases are
=====================================
docs/users_guide/9.4.6-notes.rst
=====================================
@@ -0,0 +1,155 @@
+.. _release-9-4-5:
+
+Version 9.4.5
+==============
+
+The significant changes to the various parts of the compiler are listed in the
+following sections.
+
+The :ghc-flag:`LLVM backend <-fllvm>` of this release is to be used with LLVM
+10, 11, 12, 13, or 14.
+
+Significant Changes
+~~~~~~~~~~~~~~~~~~~~
+
+Issues fixed in this release include:
+
+Compiler
+--------
+
+- Fix a bug where certain dictionaries for undecidable instances could end up
+ looping at runtime (:ghc-ticket:`22549`).
+
+- Fix a compiler panic involving newtype family instances (:ghc-ticket:`23329).
+
+- Fix a bug preventing using the command line to compile ``.cmm`` files to
+ assembly (:ghc-ticket:`23610`).
+
+- Fix compiler panics with certain RULE pragmas (:ghc-ticket:`23208`,
+ :ghc-ticket:`22761`).
+
+- Fix a loop in the simplifier due to a bug in the representation of certain
+ fields in interface files (:ghc-ticket:`22272`).
+
+- Make type equality ``(~)`` checks in the presence of quantified contrains more
+ robust to argument ordering (:ghc-ticket:`23333`).
+
+- Fix some segfaults when using ``UnliftedDataTypes`` (:ghc-ticket:`23231`,
+ :ghc-ticket:`23146`).
+
+- Improve bounds checking with ``-fcheck-prim-bounds`` (:ghc-ticket:`21054`).
+
+- Fix a bug in the simplifier leading to core lint errors (:ghc-ticket:`23012`).
+
+- Ensure array read operations have proper memory barries (:ghc-ticket:`23541`).
+
+- Fix a spurious ``-dcore-lint`` failure with certain kinds of type family
+ instances (:ghc-ticket:`22547`).
+
+- Fix a bug with ``.hie`` files containing spurious references to generated
+ functions in files with partial field selectors (:ghc-ticket:`23492`).
+
+- With the aarch64 backend, fix a bug arising from lack of zero-extension for
+ 8/16 bit add/sub with immediate (:ghc-ticket:`23749`).
+
+- Fix a number of bugs having to do with default representation polymorphic type
+ variables (:ghc-ticket:`23153`, :ghc-ticket:`23154`, :ghc-ticket:`23176`).
+
+GHCi and Bytecode Interpreter
+-----------------------------
+
+- Add support for top-level ``Addr#`` literals (:ghc-ticket:`22376`)
+
+- Fix some tag inference bugs when using the bytecode interpreter
+ (:ghc-ticket:`22840`).
+
+- Support the ``foreign import prim`` calling convention in the
+ bytecode interpreter (:ghc-ticket:`22051`).
+
+- Support sized literals in the bytecode interpreter (:ghc-ticket:`21945`).
+
+- Fix a bug with the handling of unboxed tuples in the bytecode interpreter
+ (:ghc-ticket:`23068`).
+
+- Make the bytecode interpreter more robust when run on optimised code
+ (:ghc-ticket:`22958`)
+
+Runtime system
+--------------
+
+- Accurately account for mutator allocations when using the non-moving GC
+ (:ghc-ticket:`23312`).
+
+- Prevent some segfaults by ensuring that pinned allocations respect block size
+ (:ghc-ticket:`23400`).
+
+- Fix warnings with clang 14.0.3 (:ghc-ticket:`23561`).
+
+- On Windows, ensure reliability of IO manager shutdown (:ghc-ticket:`23691`).
+
+- Fix a bug with the GHC linker on windows (:ghc-ticket:`22941`).
+
+Build system and packaging
+--------------------------
+
+- Allow building documentation with sphinx 6.0.0 (:ghc-ticket:`22690`).
+
+- Fix a bug with the install scripts that prevented reinstallation of binary
+ distributions (:ghc-ticket:`23373`).
+
+- Fix some dependency tracking bugs with hadrian (:ghc-ticket:`23554`).
+
+Core libraries
+--------------
+
+- Bump ``base`` to 4.17.2.0
+
+- base: Restore``mingwex`` dependency on Windows (:ghc-ticket:`23309`).
+
+- Bump ``process`` to 1.6.17.0
+
+Included libraries
+------------------
+
+The package database provided with this distribution also contains a number of
+packages other than GHC itself. See the changelogs provided with these packages
+for further change information.
+
+.. ghc-package-list::
+
+ libraries/array/array.cabal: Dependency of ``ghc`` library
+ libraries/base/base.cabal: Core library
+ libraries/binary/binary.cabal: Dependency of ``ghc`` library
+ libraries/bytestring/bytestring.cabal: Dependency of ``ghc`` library
+ libraries/Cabal/Cabal/Cabal.cabal: Dependency of ``ghc-pkg`` utility
+ libraries/Cabal/Cabal-syntax/Cabal-syntax.cabal: Dependency of ``ghc-pkg`` utility
+ libraries/containers/containers/containers.cabal: Dependency of ``ghc`` library
+ libraries/deepseq/deepseq.cabal: Dependency of ``ghc`` library
+ libraries/directory/directory.cabal: Dependency of ``ghc`` library
+ libraries/exceptions/exceptions.cabal: Dependency of ``ghc`` and ``haskeline`` library
+ libraries/filepath/filepath.cabal: Dependency of ``ghc`` library
+ compiler/ghc.cabal: The compiler itself
+ libraries/ghci/ghci.cabal: The REPL interface
+ libraries/ghc-boot/ghc-boot.cabal: Internal compiler library
+ libraries/ghc-boot-th/ghc-boot-th.cabal: Internal compiler library
+ libraries/ghc-compact/ghc-compact.cabal: Core library
+ libraries/ghc-heap/ghc-heap.cabal: GHC heap-walking library
+ libraries/ghc-prim/ghc-prim.cabal: Core library
+ libraries/haskeline/haskeline.cabal: Dependency of ``ghci`` executable
+ libraries/hpc/hpc.cabal: Dependency of ``hpc`` executable
+ libraries/integer-gmp/integer-gmp.cabal: Core library
+ libraries/libiserv/libiserv.cabal: Internal compiler library
+ libraries/mtl/mtl.cabal: Dependency of ``Cabal`` library
+ libraries/parsec/parsec.cabal: Dependency of ``Cabal`` library
+ libraries/pretty/pretty.cabal: Dependency of ``ghc`` library
+ libraries/process/process.cabal: Dependency of ``ghc`` library
+ libraries/stm/stm.cabal: Dependency of ``haskeline`` library
+ libraries/template-haskell/template-haskell.cabal: Core library
+ libraries/terminfo/terminfo.cabal: Dependency of ``haskeline`` library
+ libraries/text/text.cabal: Dependency of ``Cabal`` library
+ libraries/time/time.cabal: Dependency of ``ghc`` library
+ libraries/transformers/transformers.cabal: Dependency of ``ghc`` library
+ libraries/unix/unix.cabal: Dependency of ``ghc`` library
+ libraries/Win32/Win32.cabal: Dependency of ``ghc`` library
+ libraries/xhtml/xhtml.cabal: Dependency of ``haddock`` executable
+
=====================================
docs/users_guide/release-notes.rst
=====================================
@@ -4,6 +4,7 @@ Release notes
.. toctree::
:maxdepth: 1
+ 9.4.6-notes
9.4.5-notes
9.4.4-notes
9.4.3-notes
=====================================
libraries/base/base.cabal
=====================================
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: base
-version: 4.17.1.0
+version: 4.17.2.0
-- NOTE: Don't forget to update ./changelog.md
license: BSD-3-Clause
=====================================
libraries/base/changelog.md
=====================================
@@ -1,5 +1,11 @@
# Changelog for [`base` package](http://hackage.haskell.org/package/base)
+## 4.17.2.0 *August 2023*
+
+ * Restore `mingwex` dependency on Windows (#23309).
+
+ * Fix an incorrect CPP guard on `darwin_HOST_OS`.
+
## 4.17.1.0 *April 2023*
* Remove `mingwex` dependency on Windows (#22166).
=====================================
libraries/ghc-prim/changelog.md
=====================================
@@ -1,3 +1,8 @@
+## 0.9.1 *August 2023*
+
+- Shipped with GHC 9.4.6
+- Restore `mingwex` dependency on Windows (#23309)
+
## 0.9.0 *August 2022*
- Shipped with GHC 9.4.1
=====================================
libraries/ghc-prim/ghc-prim.cabal
=====================================
@@ -1,6 +1,6 @@
cabal-version: 2.2
name: ghc-prim
-version: 0.9.0
+version: 0.9.1
-- NOTE: Don't forget to update ./changelog.md
license: BSD-3-Clause
license-file: LICENSE
=====================================
testsuite/tests/backpack/cabal/bkpcabal02/bkpcabal02.stdout
=====================================
@@ -4,4 +4,4 @@ for bkpcabal01-0.1.0.0..
Preprocessing library 'q' for bkpcabal01-0.1.0.0..
Building library 'q' instantiated with H = <H>
for bkpcabal01-0.1.0.0..
-[2 of 2] Instantiating bkpcabal01-0.1.0.0-GO2RFU1ABuuFdVdW0Tjnp2-p
+[2 of 2] Instantiating bkpcabal01-0.1.0.0-9EeElPXCwbT1H2r14ZWyw3-p
=====================================
testsuite/tests/backpack/should_compile/bkp16.stderr
=====================================
@@ -2,8 +2,8 @@
[1 of 1] Compiling Int[sig] ( p/Int.hsig, nothing )
[2 of 2] Processing q
Instantiating q
- [1 of 1] Including p[Int=base-4.17.0.0:GHC.Exts]
- Instantiating p[Int=base-4.17.0.0:GHC.Exts]
- [1 of 1] Including ghc-prim-0.9.0
+ [1 of 1] Including p[Int=base-4.17.2.0:GHC.Exts]
+ Instantiating p[Int=base-4.17.2.0:GHC.Exts]
+ [1 of 1] Including ghc-prim-0.9.1
[1 of 1] Compiling Int[sig] ( p/Int.hsig, bkp16.out/p/p-97PZnzqiJmd2hTwUNGdjod/Int.o )
[1 of 1] Instantiating p
=====================================
testsuite/tests/cabal/t18567/T18567.stderr
=====================================
@@ -2,4 +2,4 @@
<no location info>: warning: [-Wunused-packages]
The following packages were specified via -package or -package-id flags,
but were not needed for compilation:
- - internal-lib-0.1.0.0 (exposed by flag -package-id internal-lib-0.1.0.0-KHXAr3TZBfL9KKz9idkWKi-sublib-unused)
+ - internal-lib-0.1.0.0 (exposed by flag -package-id internal-lib-0.1.0.0-6LFEauuQzmN1lhf9BsFCch-sublib-unused)
=====================================
testsuite/tests/dependent/should_compile/T14729.stderr
=====================================
@@ -11,4 +11,4 @@ COERCION AXIOMS
FAMILY INSTANCES
type instance F Int = Bool -- Defined at T14729.hs:10:15
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/dependent/should_compile/T15743.stderr
=====================================
@@ -3,4 +3,4 @@ TYPE CONSTRUCTORS
forall {k1} k2 (k3 :: k2). Proxy k3 -> k1 -> k2 -> *
roles nominal nominal nominal phantom phantom phantom
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/dependent/should_compile/T15743e.stderr
=====================================
@@ -54,4 +54,4 @@ DATA CONSTRUCTORS
(d :: Proxy k5) (e :: Proxy k7).
f c -> T k8 a b f c d e
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/indexed-types/should_compile/T15711.stderr
=====================================
@@ -3,4 +3,4 @@ TYPE CONSTRUCTORS
associated type family F{2} :: forall a. Maybe a -> *
roles nominal nominal
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/indexed-types/should_compile/T15852.stderr
=====================================
@@ -9,4 +9,4 @@ FAMILY INSTANCES
data instance forall {k1} {k2} {c :: k1} {j :: k2}.
DF (Proxy c) -- Defined at T15852.hs:10:15
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/polykinds/T15592.stderr
=====================================
@@ -5,4 +5,4 @@ DATA CONSTRUCTORS
MkT :: forall {k} k1 (f :: k1 -> k -> *) (a :: k1) (b :: k).
f a b -> T f a b -> T f a b
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/polykinds/T15592b.stderr
=====================================
@@ -4,4 +4,4 @@ TYPE CONSTRUCTORS
forall k (f :: k -> *) (a :: k). f a -> *
roles nominal nominal nominal nominal
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/printer/T18052a.stderr
=====================================
@@ -6,7 +6,7 @@ TYPE CONSTRUCTORS
PATTERN SYNONYMS
(:||:) :: forall {a} {b}. a -> b -> (a, b)
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
==================== Tidy Core ====================
Result size of Tidy Core
=====================================
testsuite/tests/rep-poly/RepPolyPatBind.stderr
=====================================
@@ -18,11 +18,11 @@ RepPolyPatBind.hs:18:5: error:
(# x, y #) = undefined
in x
-RepPolyPatBind.hs:18:8: error: [GHC-55287]
+RepPolyPatBind.hs:18:8: error:
• The pattern binding does not have a fixed runtime representation.
Its type is:
- (# a0, b0 #) :: TYPE (TupleRep [k00, k10])
- Cannot unify ‘rep’ with the type variable ‘k00’
+ (# a0, b0 #) :: TYPE ('TupleRep '[c0, c1])
+ Cannot unify ‘rep’ with the type variable ‘c0’
because it is not a concrete ‘RuntimeRep’.
• In the pattern: (# x, y #)
In a pattern binding: (# x, y #) = undefined
@@ -34,11 +34,11 @@ RepPolyPatBind.hs:18:8: error: [GHC-55287]
• Relevant bindings include
foo :: () -> a (bound at RepPolyPatBind.hs:15:1)
-RepPolyPatBind.hs:18:11: error: [GHC-55287]
+RepPolyPatBind.hs:18:11: error:
• The pattern binding does not have a fixed runtime representation.
Its type is:
- (# a0, b0 #) :: TYPE (TupleRep [k00, k10])
- Cannot unify ‘rep’ with the type variable ‘k10’
+ (# a0, b0 #) :: TYPE ('TupleRep '[c0, c1])
+ Cannot unify ‘rep’ with the type variable ‘c1’
because it is not a concrete ‘RuntimeRep’.
• In the pattern: (# x, y #)
In a pattern binding: (# x, y #) = undefined
=====================================
testsuite/tests/th/T21547.stderr
=====================================
@@ -1,7 +1,7 @@
T21547.hs:9:14: error:
• GHC stage restriction:
- instance for ‘base-4.17.1.0:Data.Typeable.Internal.Typeable
+ instance for ‘base-4.17.2.0:Data.Typeable.Internal.Typeable
T’ is used in a top-level splice, quasi-quote, or annotation,
and must be imported, not defined locally
• In the expression: foo [|| T () ||]
=====================================
testsuite/tests/typecheck/should_compile/T12763.stderr
=====================================
@@ -8,4 +8,4 @@ COERCION AXIOMS
CLASS INSTANCES
instance C Int -- Defined at T12763.hs:9:10
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/typecheck/should_compile/T18406b.stderr
=====================================
@@ -6,7 +6,7 @@ TYPE CONSTRUCTORS
COERCION AXIOMS
axiom Bug.N:C :: forall a b. C a b = a -> a
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
==================== Typechecker ====================
Bug.$tcC
=====================================
testsuite/tests/typecheck/should_compile/T18529.stderr
=====================================
@@ -6,7 +6,7 @@ TYPE CONSTRUCTORS
COERCION AXIOMS
axiom Bug.N:C :: forall a b. C a b = a -> b -> ()
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
==================== Typechecker ====================
Bug.$tcC
=====================================
testsuite/tests/typecheck/should_compile/T21023.stderr
=====================================
@@ -2,4 +2,4 @@ TYPE SIGNATURES
f :: forall {a}. a -> (a, Integer)
x :: Integer
Dependent modules: []
-Dependent packages: [base-4.17.1.0]
+Dependent packages: [base-4.17.2.0]
=====================================
testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr
=====================================
@@ -8,10 +8,10 @@ subsumption_sort_hole_fits.hs:2:5: warning: [-Wtyped-holes (in -Wdefault)]
Valid hole fits include
lines :: String -> [String]
(imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
- (and originally defined in ‘base-4.17.1.0:Data.OldList’))
+ (and originally defined in ‘base-4.17.2.0:Data.OldList’))
words :: String -> [String]
(imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
- (and originally defined in ‘base-4.17.1.0:Data.OldList’))
+ (and originally defined in ‘base-4.17.2.0:Data.OldList’))
read :: forall a. Read a => String -> a
with read @[String]
(imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
=====================================
testsuite/tests/typecheck/should_fail/VtaFail.stderr
=====================================
@@ -6,7 +6,7 @@ VtaFail.hs:7:16: error:
In an equation for ‘answer_nosig’:
answer_nosig = pairup_nosig @Int @Bool 5 True
-VtaFail.hs:14:17: error: [GHC-95781]
+VtaFail.hs:14:17: error:
• Cannot apply expression of type ‘p0 -> p0’
to a visible type argument ‘Int’
• In the expression: (\ x -> x) @Int 12
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/429a64220784666ffa35f9371f5e63546dac7e90
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/429a64220784666ffa35f9371f5e63546dac7e90
You're receiving this email because of your account on gitlab.haskell.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230804/4dd1d0ac/attachment-0001.html>
More information about the ghc-commits
mailing list