[Git][ghc/ghc][wip/backports] 2 commits: base: Bump version for log1mexp fix
Ben Gamari
gitlab at gitlab.haskell.org
Wed Jul 29 15:22:47 UTC 2020
Ben Gamari pushed to branch wip/backports at Glasgow Haskell Compiler / GHC
Commits:
17f1bd51 by Ben Gamari at 2020-07-29T15:22:33+00:00
base: Bump version for log1mexp fix
- - - - -
e9f12058 by Ben Gamari at 2020-07-29T15:22:33+00:00
users-guide: Release notes for 8.10.2
- - - - -
12 changed files:
- docs/users_guide/8.10.2-notes.rst
- libraries/base/base.cabal
- libraries/base/changelog.md
- 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/typecheck/should_compile/T12763.stderr
- testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr
Changes:
=====================================
docs/users_guide/8.10.2-notes.rst
=====================================
@@ -11,13 +11,26 @@ Highlights
----------
- A few important correctness fixes for the low-latency garbage collector.
+ Users of :rts-flag:`--nonmoving-gc` are strongly encouraged to upgrade
+ promptly.
-Full details
-------------
+- Fixes a bug in process creation on Windows (:ghc-ticket:`17926`).
-Language
-~~~~~~~~
+- Works around a Linux kernel bug in the implementation of ``timerfd``\s
+ (:ghc-ticket:`18033`).
+
+- Fixes a few specialiser regressions (:ghc-ticket:`17810`,
+ :ghc-ticket:`18120`) as well introduces a variety of miscellaneous
+ specialiser improvements (:ghc-ticket:`16473`, :ghc-ticket:`17930`,
+ :ghc-ticket:`17966`)
+
+- Fixes a potential loss of sharing due to left operator sections
+ (:ghc-ticket:`18151`).
+
+- Fix bootstrapping of GHC with the LLVM backend on x86-64 (:ghc-ticket:`17920`).
+Full details
+------------
Compiler
~~~~~~~~
@@ -25,20 +38,16 @@ Compiler
- A simplifier panic manifesting when DWARF debug information is enabled has
been fixed (:ghc-ticket:`18162`, :ghc-ticket:`17619`)
-GHC API
-~~~~~~~
-
-
-GHCi
-~~~~
-
Runtime system
~~~~~~~~~~~~~~
-- The RTS now allows the user to specify a minimum time between idle GCs with
- the :rts-flag:`-Iw ⟨seconds⟩` flag. 8.10.1 contained a users guide reference
- to this flag but did not include the associated implementation.
+ - The RTS now supports a flag, :rts-flag:`--copying-gc`, to counter-act the
+ effect of :rts-flag:`--nonmoving-gc`.
+
+ - The RTS now allows the user to specify a minimum time between idle GCs with
+ the :rts-flag:`-Iw ⟨seconds⟩` flag. 8.10.1 contained a users guide reference
+ to this flag but did not include the associated implementation.
- A memory leak in the cost-center profiler has been fixed
(:ghc-ticket:`18348`)
@@ -49,26 +58,40 @@ Runtime system
- We now workaround a Linux kernel bug in the implementation of timerfd which
could previously result in program crashes (:ghc-ticket:`18033`)
-Template Haskell
-~~~~~~~~~~~~~~~~
-
-
+ - The cost center profiler's JSON output backend now escapes backslashes
+ correctly (:ghc-ticket:`18438`)
-``ghc-prim`` library
-~~~~~~~~~~~~~~~~~~~~
+ - A variety of linker issues on ARM platforms have been fixed.
-
-``ghc`` library
-~~~~~~~~~~~~~~~
-
``base`` library
~~~~~~~~~~~~~~~~
+- Fix a precision issue in the implementation of ``log1mexp``
+ (:ghc-ticket:`17125`)
+
+
Build system
~~~~~~~~~~~~
+ - Fix a bug wherein GHC would link against the non-thread-safe unique supply
+ implementation when bootstrapping with an unregisterised compiler
+ (:ghc-ticket:`18024`)
+
+Known issues
+------------
+
+- A long-standing bug (:ghc-ticket:`16893`) which can cause some applications
+ of ``unsafeCoerce`` to segmentation fault is only partially fixed in this
+ release. This release only avoids this issue in the uses of ``unsafeCoerce``
+ in ``Data.Typeable.Internal``, which was the proximate cause of
+ :ghc-ticket:`16893`.
+
+ However, it is possible that this bug could manifest in user-code using
+ ``unsafeCoerce`` to perform dynamic type checks. See the :ghc-ticket:`ticket
+ <16893>` for details.
+ We expect that this issue will be fixed in the next major release of GHC.
Included libraries
------------------
=====================================
libraries/base/base.cabal
=====================================
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: base
-version: 4.14.0.0
+version: 4.14.1.0
-- NOTE: Don't forget to update ./changelog.md
license: BSD-3-Clause
=====================================
libraries/base/changelog.md
=====================================
@@ -1,6 +1,13 @@
# Changelog for [`base` package](http://hackage.haskell.org/package/base)
+## 4.14.1.0* Jul 2020
+
+ * Bundled with GHC 8.10.2
+
+ * Fix a precision issue in `log1mexp` (#17125)
+
## 4.14.0.0 *Jan 2020
+
* Bundled with GHC 8.10.1
* Add a `TestEquality` instance for the `Compose` newtype.
=====================================
testsuite/tests/dependent/should_compile/T14729.stderr
=====================================
@@ -11,5 +11,5 @@ COERCION AXIOMS
FAMILY INSTANCES
type instance F Int = Bool -- Defined at T14729.hs:10:15
Dependent modules: []
-Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
- integer-gmp-1.0.2.0]
+Dependent packages: [base-4.14.1.0, ghc-prim-0.6.1,
+ integer-gmp-1.0.3.0]
=====================================
testsuite/tests/dependent/should_compile/T15743.stderr
=====================================
@@ -3,5 +3,5 @@ TYPE CONSTRUCTORS
forall {k1} k2 (k3 :: k2). Proxy k3 -> k1 -> k2 -> *
roles nominal nominal nominal phantom phantom phantom
Dependent modules: []
-Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
- integer-gmp-1.0.2.0]
+Dependent packages: [base-4.14.1.0, ghc-prim-0.6.1,
+ integer-gmp-1.0.3.0]
=====================================
testsuite/tests/dependent/should_compile/T15743e.stderr
=====================================
@@ -52,5 +52,5 @@ DATA CONSTRUCTORS
(d :: Proxy k5) (e :: Proxy k7).
f c -> T k8 a b f c d e
Dependent modules: []
-Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
- integer-gmp-1.0.2.0]
+Dependent packages: [base-4.14.1.0, ghc-prim-0.6.1,
+ integer-gmp-1.0.3.0]
=====================================
testsuite/tests/indexed-types/should_compile/T15711.stderr
=====================================
@@ -3,5 +3,5 @@ TYPE CONSTRUCTORS
associated type family F{2} :: forall a. Maybe a -> *
roles nominal nominal
Dependent modules: []
-Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
- integer-gmp-1.0.2.0]
+Dependent packages: [base-4.14.1.0, ghc-prim-0.6.1,
+ integer-gmp-1.0.3.0]
=====================================
testsuite/tests/indexed-types/should_compile/T15852.stderr
=====================================
@@ -9,5 +9,5 @@ FAMILY INSTANCES
data instance forall k1 k2 (j :: k1) (c :: k2).
DF (Proxy c) -- Defined at T15852.hs:10:15
Dependent modules: []
-Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
- integer-gmp-1.0.2.0]
+Dependent packages: [base-4.14.1.0, ghc-prim-0.6.1,
+ integer-gmp-1.0.3.0]
=====================================
testsuite/tests/polykinds/T15592.stderr
=====================================
@@ -5,5 +5,5 @@ 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.14.0.0, ghc-prim-0.6.1,
- integer-gmp-1.0.2.0]
+Dependent packages: [base-4.14.1.0, ghc-prim-0.6.1,
+ integer-gmp-1.0.3.0]
=====================================
testsuite/tests/polykinds/T15592b.stderr
=====================================
@@ -4,5 +4,5 @@ TYPE CONSTRUCTORS
forall k (f :: k -> *) (a :: k). f a -> *
roles nominal nominal nominal nominal
Dependent modules: []
-Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
- integer-gmp-1.0.2.0]
+Dependent packages: [base-4.14.1.0, ghc-prim-0.6.1,
+ integer-gmp-1.0.3.0]
=====================================
testsuite/tests/typecheck/should_compile/T12763.stderr
=====================================
@@ -8,5 +8,5 @@ COERCION AXIOMS
CLASS INSTANCES
instance C Int -- Defined at T12763.hs:9:10
Dependent modules: []
-Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1,
- integer-gmp-1.0.2.0]
+Dependent packages: [base-4.14.1.0, ghc-prim-0.6.1,
+ integer-gmp-1.0.3.0]
=====================================
testsuite/tests/typecheck/should_compile/subsumption_sort_hole_fits.stderr
=====================================
@@ -9,10 +9,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.14.0.0:Data.OldList’))
+ (and originally defined in ‘base-4.14.1.0:Data.OldList’))
words :: String -> [String]
(imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
- (and originally defined in ‘base-4.14.0.0:Data.OldList’))
+ (and originally defined in ‘base-4.14.1.0:Data.OldList’))
read :: forall a. Read a => String -> a
with read @[String]
(imported from ‘Prelude’ at subsumption_sort_hole_fits.hs:1:1
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ff4544e5941ce909b91d235fdce42c0b62c2b786...e9f1205801f331a058a1490372f14a4ad3cd9bdc
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ff4544e5941ce909b91d235fdce42c0b62c2b786...e9f1205801f331a058a1490372f14a4ad3cd9bdc
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/20200729/eafbdc02/attachment-0001.html>
More information about the ghc-commits
mailing list