Bump version numbers: base-4.11.1.0, integer-gmp-1.0.2.0
authorRyan Scott <ryan.gl.scott@gmail.com>
Fri, 13 Apr 2018 15:31:09 +0000 (11:31 -0400)
committerBen Gamari <ben@smart-cactus.org>
Fri, 13 Apr 2018 15:33:09 +0000 (11:33 -0400)
This takes care of bumping the `base` and `integer-gmp`
minor version numbers in anticipation of a GHC 8.4.2 release.

While I was in town, I also filled in a `@since TODO` Haddock
annotation for `powModSecInteger` in `integer-gmp` with
`1.0.2.0`, and updated the changelog accordingly.

Test Plan: ./validate

Reviewers: hvr, goldfire, bgamari

Reviewed By: bgamari

Subscribers: thomie, carter

GHC Trac Issues: #15025

Differential Revision: https://phabricator.haskell.org/D4586

83 files changed:
docs/users_guide/8.4.2-notes.rst
libraries/base/base.cabal
libraries/base/changelog.md
libraries/integer-gmp/changelog.md
libraries/integer-gmp/integer-gmp.cabal
libraries/integer-gmp/src/GHC/Integer/Type.hs
testsuite/tests/ado/ado004.stderr
testsuite/tests/backpack/should_compile/bkp16.stderr
testsuite/tests/backpack/should_fail/bkpfail16.stderr
testsuite/tests/backpack/should_fail/bkpfail17.stderr
testsuite/tests/backpack/should_fail/bkpfail19.stderr
testsuite/tests/determinism/determ021/determ021.stdout
testsuite/tests/driver/json2.stderr
testsuite/tests/ghci/scripts/ghci008.stdout
testsuite/tests/indexed-types/should_compile/T3017.stderr
testsuite/tests/partial-sigs/should_compile/ADT.stderr
testsuite/tests/partial-sigs/should_compile/AddAndOr1.stderr
testsuite/tests/partial-sigs/should_compile/AddAndOr2.stderr
testsuite/tests/partial-sigs/should_compile/AddAndOr3.stderr
testsuite/tests/partial-sigs/should_compile/AddAndOr4.stderr
testsuite/tests/partial-sigs/should_compile/AddAndOr5.stderr
testsuite/tests/partial-sigs/should_compile/AddAndOr6.stderr
testsuite/tests/partial-sigs/should_compile/BoolToBool.stderr
testsuite/tests/partial-sigs/should_compile/DataFamilyInstanceLHS.stderr
testsuite/tests/partial-sigs/should_compile/Defaulting1MROn.stderr
testsuite/tests/partial-sigs/should_compile/Defaulting2MROff.stderr
testsuite/tests/partial-sigs/should_compile/Defaulting2MROn.stderr
testsuite/tests/partial-sigs/should_compile/Either.stderr
testsuite/tests/partial-sigs/should_compile/EqualityConstraint.stderr
testsuite/tests/partial-sigs/should_compile/Every.stderr
testsuite/tests/partial-sigs/should_compile/EveryNamed.stderr
testsuite/tests/partial-sigs/should_compile/ExpressionSig.stderr
testsuite/tests/partial-sigs/should_compile/ExpressionSigNamed.stderr
testsuite/tests/partial-sigs/should_compile/ExtraConstraints1.stderr
testsuite/tests/partial-sigs/should_compile/ExtraConstraints2.stderr
testsuite/tests/partial-sigs/should_compile/ExtraConstraints3.stderr
testsuite/tests/partial-sigs/should_compile/ExtraNumAMROff.stderr
testsuite/tests/partial-sigs/should_compile/ExtraNumAMROn.stderr
testsuite/tests/partial-sigs/should_compile/Forall1.stderr
testsuite/tests/partial-sigs/should_compile/GenNamed.stderr
testsuite/tests/partial-sigs/should_compile/HigherRank1.stderr
testsuite/tests/partial-sigs/should_compile/HigherRank2.stderr
testsuite/tests/partial-sigs/should_compile/LocalDefinitionBug.stderr
testsuite/tests/partial-sigs/should_compile/Meltdown.stderr
testsuite/tests/partial-sigs/should_compile/MonoLocalBinds.stderr
testsuite/tests/partial-sigs/should_compile/NamedTyVar.stderr
testsuite/tests/partial-sigs/should_compile/NamedWildcardInDataFamilyInstanceLHS.stderr
testsuite/tests/partial-sigs/should_compile/NamedWildcardInTypeFamilyInstanceLHS.stderr
testsuite/tests/partial-sigs/should_compile/ParensAroundContext.stderr
testsuite/tests/partial-sigs/should_compile/PatBind.stderr
testsuite/tests/partial-sigs/should_compile/PatBind2.stderr
testsuite/tests/partial-sigs/should_compile/PatternSig.stderr
testsuite/tests/partial-sigs/should_compile/Recursive.stderr
testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcards.stderr
testsuite/tests/partial-sigs/should_compile/ScopedNamedWildcardsGood.stderr
testsuite/tests/partial-sigs/should_compile/ShowNamed.stderr
testsuite/tests/partial-sigs/should_compile/SimpleGen.stderr
testsuite/tests/partial-sigs/should_compile/SkipMany.stderr
testsuite/tests/partial-sigs/should_compile/SomethingShowable.stderr
testsuite/tests/partial-sigs/should_compile/TypeFamilyInstanceLHS.stderr
testsuite/tests/partial-sigs/should_compile/Uncurry.stderr
testsuite/tests/partial-sigs/should_compile/UncurryNamed.stderr
testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.stderr
testsuite/tests/rename/should_fail/rnfail040.stderr
testsuite/tests/roles/should_compile/Roles1.stderr
testsuite/tests/roles/should_compile/Roles14.stderr
testsuite/tests/roles/should_compile/Roles2.stderr
testsuite/tests/roles/should_compile/Roles3.stderr
testsuite/tests/roles/should_compile/Roles4.stderr
testsuite/tests/roles/should_compile/T8958.stderr
testsuite/tests/safeHaskell/check/Check01.stderr
testsuite/tests/safeHaskell/check/Check06.stderr
testsuite/tests/safeHaskell/check/Check08.stderr
testsuite/tests/safeHaskell/check/Check09.stderr
testsuite/tests/safeHaskell/check/pkg01/ImpSafe01.stderr
testsuite/tests/safeHaskell/check/pkg01/ImpSafe04.stderr
testsuite/tests/safeHaskell/flags/SafeFlags17.stderr
testsuite/tests/typecheck/should_compile/T12763.stderr
testsuite/tests/typecheck/should_compile/holes.stderr
testsuite/tests/typecheck/should_compile/holes3.stderr
testsuite/tests/typecheck/should_compile/tc231.stderr
testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr
testsuite/tests/typecheck/should_fail/tcfail182.stderr

index 7002caa..e579e83 100644 (file)
@@ -20,8 +20,8 @@ Full details
 Language
 ~~~~~~~~
 
-- Fix a regression in which derived `Read` instances for record data types
-  with field names ending with `#` (by way of :ghc-flag:`-XMagicHash`) would
+- Fix a regression in which derived ``Read`` instances for record data types
+  with field names ending with ``#`` (by way of :ghc-flag:`-XMagicHash`) would
   no longer parse valid output.
 
 Compiler
@@ -43,8 +43,14 @@ Template Haskell
 ``base`` library
 ~~~~~~~~~~~~~~~~
 
-- Add the `readFieldHash` function to `GHC.Read` which behaves like
-  `readField`, but for a field that ends with a `#` symbol.
+- Add the ``readFieldHash`` function to ``GHC.Read`` which behaves like
+  ``readField``, but for a field that ends with a ``#`` symbol.
+
+``integer-gmp`` library
+~~~~~~~~~~~~~~~~~~~~~~~
+
+- Define ``powModSecInteger``, a "secure" version of ``powModInteger`` using
+  the ``mpz_powm_sec`` function.
 
 Build system
 ~~~~~~~~~~~~
index 0a91315..f7bbfaa 100644 (file)
@@ -1,6 +1,6 @@
 cabal-version:  2.1
 name:           base
-version:        4.11.0.0
+version:        4.11.1.0
 -- NOTE: Don't forget to update ./changelog.md
 
 license:        BSD-3-Clause
index 16e183e..56d8ffc 100644 (file)
@@ -1,6 +1,8 @@
 # Changelog for [`base` package](http://hackage.haskell.org/package/base)
 
 ## 4.12.0.0 *TBA*
+  * Bundled with GHC *TBA*
+
   * Move the module `Data.Functor.Contravariant` from the
     `contravariant` package to `base`.
 
@@ -10,6 +12,8 @@
     `GHC.Generics`. (#14849)
 
 ## 4.11.1.0 *TBA*
+  * Bundled with GHC 8.4.2
+
   * Add the `readFieldHash` function to `GHC.Read` which behaves like
     `readField`, but for a field that ends with a `#` symbol (#14918).
 
index b817881..51c84bc 100644 (file)
@@ -1,5 +1,12 @@
 # Changelog for [`integer-gmp` package](http://hackage.haskell.org/package/integer-gmp)
 
+## 1.0.2.0 *TBA*
+
+  * Bundled with GHC 8.4.2
+
+  * Define `powModSecInteger`, a "secure" version of `powModInteger` using the
+    `mpz_powm_sec` function.
+
 ## 1.0.1.0 *July 2017*
 
   * Bundled with GHC 8.2.1
index d2f6e3c..5d2f890 100644 (file)
@@ -1,6 +1,6 @@
 cabal-version:       2.0
 name:                integer-gmp
-version:             1.0.1.0
+version:             1.0.2.0
 
 synopsis:            Integer library based on GMP
 license:             BSD3
index 5dcbdce..9ea7c06 100644 (file)
@@ -1451,7 +1451,7 @@ powModInteger b e m = case m of
 -- supports it (GMP >= 5). Otherwise, it internally falls back to
 -- @'powModInteger'@, and a warning will be emitted when used.
 --
--- @since TODO
+-- @since 1.0.2.0
 {-# NOINLINE powModSecInteger #-}
 powModSecInteger :: Integer -> Integer -> Integer -> Integer
 powModSecInteger b e m = bigNatToInteger (powModSecSBigNat b' e' m')
index c4c7c0b..4251f98 100644 (file)
@@ -44,5 +44,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 840d21f..05731ec 100644 (file)
@@ -2,7 +2,7 @@
   [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.11.0.0:GHC.Exts]
-    Instantiating p[Int=base-4.11.0.0:GHC.Exts]
+  [1 of 1] Including p[Int=base-4.11.1.0:GHC.Exts]
+    Instantiating p[Int=base-4.11.1.0:GHC.Exts]
     [1 of 1] Including ghc-prim-0.5.2.0
     [1 of 1] Compiling Int[sig]         ( p/Int.hsig, bkp16.out/p/p-97PZnzqiJmd2hTwUNGdjod/Int.o )
index 8cfc511..e24158d 100644 (file)
@@ -2,8 +2,8 @@
   [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, nothing )
 [2 of 2] Processing q
   Instantiating q
-  [1 of 1] Including p[ShouldFail=base-4.11.0.0:Data.Bool]
-    Instantiating p[ShouldFail=base-4.11.0.0:Data.Bool]
+  [1 of 1] Including p[ShouldFail=base-4.11.1.0:Data.Bool]
+    Instantiating p[ShouldFail=base-4.11.1.0:Data.Bool]
     [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/ShouldFail.o )
 
 bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/../ShouldFail.hi:1:1: error:
index a417b7e..ecf2e30 100644 (file)
@@ -2,8 +2,8 @@
   [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, nothing )
 [2 of 2] Processing q
   Instantiating q
-  [1 of 1] Including p[ShouldFail=base-4.11.0.0:Prelude]
-    Instantiating p[ShouldFail=base-4.11.0.0:Prelude]
+  [1 of 1] Including p[ShouldFail=base-4.11.1.0:Prelude]
+    Instantiating p[ShouldFail=base-4.11.1.0:Prelude]
     [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, bkpfail17.out/p/p-2W6J7O3LvroH97zGxbPEGF/ShouldFail.o )
 
 <no location info>: error:
index 3aa8233..5520e55 100644 (file)
@@ -2,8 +2,8 @@
   [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, nothing )
 [2 of 2] Processing q
   Instantiating q
-  [1 of 1] Including p[ShouldFail=base-4.11.0.0:Data.STRef]
-    Instantiating p[ShouldFail=base-4.11.0.0:Data.STRef]
+  [1 of 1] Including p[ShouldFail=base-4.11.1.0:Data.STRef]
+    Instantiating p[ShouldFail=base-4.11.1.0:Data.STRef]
     [1 of 1] Compiling ShouldFail[sig]  ( p/ShouldFail.hsig, bkpfail19.out/p/p-CfyUIAu1JTRCDuXEyGszXN/ShouldFail.o )
 
 <no location info>: error:
index 3e8d27b..ded4ec5 100644 (file)
@@ -7,8 +7,8 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 [1 of 1] Compiling A                ( A.hs, A.o )
 TYPE SIGNATURES
   test2 ::
@@ -18,5 +18,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index f6c342e..4ed7ae7 100644 (file)
@@ -3,7 +3,7 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 [
- {"span": null,"doc": "TYPE SIGNATURES\n  foo :: forall a. a -> a\nTYPE CONSTRUCTORS\nCOERCION AXIOMS\nDependent modules: []\nDependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,\n                     integer-gmp-1.0.1.0]","severity": "SevOutput","reason": null}]
+ {"span": null,"doc": "TYPE SIGNATURES\n  foo :: forall a. a -> a\nTYPE CONSTRUCTORS\nCOERCION AXIOMS\nDependent modules: []\nDependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,\n                     integer-gmp-1.0.2.0]","severity": "SevOutput","reason": null}]
index dc97101..0cf0306 100644 (file)
@@ -35,5 +35,5 @@ class (RealFrac a, Floating a) => RealFloat a where
        -- Defined in ‘GHC.Float’
 instance RealFloat Float -- Defined in ‘GHC.Float’
 instance RealFloat Double -- Defined in ‘GHC.Float’
-base-4.11.0.0:Data.OldList.isPrefixOf :: Eq a => [a] -> [a] -> Bool
-       -- Defined in ‘base-4.11.0.0:Data.OldList’
+base-4.11.1.0:Data.OldList.isPrefixOf :: Eq a => [a] -> [a] -> Bool
+       -- Defined in ‘base-4.11.1.0:Data.OldList’
index 4a0ac28..62b3266 100644 (file)
@@ -20,5 +20,5 @@ INSTANCES
 FAMILY INSTANCES
   type Elem (ListColl a)
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 0604f67..d2399a9 100644 (file)
@@ -5,5 +5,5 @@ TYPE CONSTRUCTORS
   data Foo x y z = Foo x y z
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index baa760c..510e24f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 68fc1e1..4ce53f9 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index e8e2bf7..bef61fd 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 6e61f43..ab9b5dd 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 6a825e4..f8139c0 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 34f1e7f..90a11e3 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 130ae5b..0ab5e9c 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 7777e46..a7a6342 100644 (file)
@@ -20,5 +20,5 @@ COERCION AXIOMS
 FAMILY INSTANCES
   data instance Sing
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index dac63c4..800d744 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index df1b5b8..33726c2 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index df1b5b8..33726c2 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 83ac659..5b3f4ce 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index cd10137..043d0d4 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index abdb5d1..abadad0 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 8c65e62..f4a8718 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 130ae5b..0ab5e9c 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 130ae5b..0ab5e9c 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 3d72b56..611d169 100644 (file)
@@ -7,5 +7,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index ae94dcc..86c5f46 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 2de5614..2d5fe5c 100644 (file)
@@ -230,5 +230,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 7de16b9..1c01100 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 7de16b9..1c01100 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 8f4bce1..026fdc5 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 130ae5b..0ab5e9c 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 4d2df7f..0561b3a 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 4d2df7f..0561b3a 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 1f549d7..526c715 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 12d34ce..bf1548e 100644 (file)
@@ -13,5 +13,5 @@ INSTANCES
     -- Defined at Meltdown.hs:11:10
   instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 1f549d7..526c715 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 48b9762..06de3e3 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 2a17aba..9062962 100644 (file)
@@ -19,5 +19,5 @@ COERCION AXIOMS
 FAMILY INSTANCES
   data instance Sing
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 28723de..e30bf7e 100644 (file)
@@ -9,5 +9,5 @@ COERCION AXIOMS
     F _t = Int
       -- Defined at NamedWildcardInTypeFamilyInstanceLHS.hs:5:3
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 9431aa6..14fa88e 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 6e58ce4..f851475 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index e0bb4fc..e227d7d 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 130ae5b..0ab5e9c 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 45c936f..6c39c21 100644 (file)
@@ -5,5 +5,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 4615a2b..b4c5270 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index df0d2f1..d2e89d5 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 0b23a6d..2c6c54e 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index c9562da..00c2c0b 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index dae1adc..3373618 100644 (file)
@@ -9,5 +9,5 @@ TYPE CONSTRUCTORS
   data GenParser tok st a = GenParser tok st a
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 02f5ad7..b7e0e4a 100644 (file)
@@ -3,8 +3,8 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 
 SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
     • The constraint ‘Show Bool’ matches an instance declaration
index cbd4ada..6b248d7 100644 (file)
@@ -11,5 +11,5 @@ FAMILY INSTANCES
   type instance F Int _
   type instance F Bool _
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 0f98282..fed9e80 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index f5ac3a8..edd18a4 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index e7ce94a..47de15a 100644 (file)
@@ -4,8 +4,8 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 
 WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
     • Found type wildcard ‘_a’ standing for ‘a’
index 0bd4cf7..505688d 100644 (file)
@@ -3,7 +3,7 @@ rnfail040.hs:7:12: error:
     Conflicting exports for ‘nub’:
        ‘module M’ exports ‘M.nub’
          imported from ‘Data.List’ at rnfail040.hs:10:2-22
-         (and originally defined in ‘base-4.11.0.0:Data.OldList’)
+         (and originally defined in ‘base-4.11.1.0:Data.OldList’)
        ‘module M’ exports ‘T.nub’
          imported from ‘Rnfail040_A’ at rnfail040.hs:11:2-24
          (and originally defined at Rnfail040_A.hs:2:3-5)
index 48e35a0..cca598a 100644 (file)
@@ -21,8 +21,8 @@ TYPE CONSTRUCTORS
   data T7 (a :: k) b = K7 b
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
 Roles1.$tcT7
index aa83a55..4c9120b 100644 (file)
@@ -8,8 +8,8 @@ TYPE CONSTRUCTORS
 COERCION AXIOMS
   axiom Roles12.N:C2 :: C2 a = a -> a -- Defined at Roles14.hs:6:1
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
 Roles12.$tcC2
index eeb6df2..154ceac 100644 (file)
@@ -7,8 +7,8 @@ TYPE CONSTRUCTORS
   data T2 a = K2 (FunPtr a)
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
 Roles2.$tcT2
index b69b0a1..387ec65 100644 (file)
@@ -29,8 +29,8 @@ COERCION AXIOMS
   axiom Roles3.N:C4 ::
     C4 a b = a -> F4 b -> F4 b -- Defined at Roles3.hs:18:1
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
 Roles3.$tcC4
index 10c6988..0fdaeec 100644 (file)
@@ -14,8 +14,8 @@ COERCION AXIOMS
   axiom Roles4.N:C3 ::
     C3 a = a -> Syn1 a -- Defined at Roles4.hs:11:1
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
 Roles4.$tcC3
index e7a5cc5..1bf3619 100644 (file)
@@ -16,8 +16,8 @@ INSTANCES
     -- Defined at T8958.hs:10:10
   instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
 T8958.$tcMap
index 1222b65..8cbb9ac 100644 (file)
@@ -1,4 +1,4 @@
 [3 of 3] Compiling Check01          ( Check01.hs, Check01.o )
 
 <no location info>: error:
-    The package (base-4.11.0.0) is required to be trusted but it isn't!
+    The package (base-4.11.1.0) is required to be trusted but it isn't!
index 52a58c5..ba0f62b 100644 (file)
@@ -2,4 +2,4 @@
 [2 of 2] Compiling Check06          ( Check06.hs, Check06.o )
 
 <no location info>: error:
-    The package (base-4.11.0.0) is required to be trusted but it isn't!
+    The package (base-4.11.1.0) is required to be trusted but it isn't!
index 92e7c05..90169a7 100644 (file)
@@ -3,4 +3,4 @@
 [3 of 3] Compiling Check08          ( Check08.hs, Check08.o )
 
 <no location info>: error:
-    The package (base-4.11.0.0) is required to be trusted but it isn't!
+    The package (base-4.11.1.0) is required to be trusted but it isn't!
index e33dfa4..eb2b2fa 100644 (file)
@@ -1,7 +1,7 @@
 
 Check09.hs:4:1: error:
     Prelude: Can't be safely imported!
-    The package (base-4.11.0.0) the module resides in isn't trusted.
+    The package (base-4.11.1.0) the module resides in isn't trusted.
 
 Check09.hs:5:1: error:
     Data.ByteString.Char8: Can't be safely imported!
index e3978d2..91368e2 100644 (file)
@@ -1,4 +1,4 @@
 
 ImpSafe01.hs:9:1: error:
     Data.Word: Can't be safely imported!
-    The package (base-4.11.0.0) the module resides in isn't trusted.
+    The package (base-4.11.1.0) the module resides in isn't trusted.
index e340c67..4faeb06 100644 (file)
@@ -1,4 +1,4 @@
 
 ImpSafe04.hs:9:1: error:
     Data.Word: Can't be safely imported!
-    The package (base-4.11.0.0) the module resides in isn't trusted.
+    The package (base-4.11.1.0) the module resides in isn't trusted.
index 8f4332b..a1a9537 100644 (file)
@@ -1,4 +1,4 @@
 
 SafeFlags17.hs:4:8: error:
     Prelude: Can't be safely imported!
-    The package (base-4.11.0.0) the module resides in isn't trusted.
+    The package (base-4.11.1.0) the module resides in isn't trusted.
index 065619c..b4ad9fc 100644 (file)
@@ -10,5 +10,5 @@ COERCION AXIOMS
 INSTANCES
   instance C Int -- Defined at T12763.hs:9:10
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 7e6d774..4c7c623 100644 (file)
@@ -373,10 +373,10 @@ holes.hs:11:15: warning: [-Wtyped-holes (in -Wdefault)]
            (and originally defined in ‘Data.Tuple’))
         unlines :: [String] -> String
           (imported from ‘Prelude’ at holes.hs:1:8-12
-           (and originally defined in ‘base-4.11.0.0:Data.OldList’))
+           (and originally defined in ‘base-4.11.1.0:Data.OldList’))
         unwords :: [String] -> String
           (imported from ‘Prelude’ at holes.hs:1:8-12
-           (and originally defined in ‘base-4.11.0.0:Data.OldList’))
+           (and originally defined in ‘base-4.11.1.0:Data.OldList’))
         head :: forall a. [a] -> a
           (imported from ‘Prelude’ at holes.hs:1:8-12
            (and originally defined in ‘GHC.List’))
@@ -385,10 +385,10 @@ holes.hs:11:15: warning: [-Wtyped-holes (in -Wdefault)]
            (and originally defined in ‘GHC.List’))
         lines :: String -> [String]
           (imported from ‘Prelude’ at holes.hs:1:8-12
-           (and originally defined in ‘base-4.11.0.0:Data.OldList’))
+           (and originally defined in ‘base-4.11.1.0:Data.OldList’))
         words :: String -> [String]
           (imported from ‘Prelude’ at holes.hs:1:8-12
-           (and originally defined in ‘base-4.11.0.0:Data.OldList’))
+           (and originally defined in ‘base-4.11.1.0:Data.OldList’))
         repeat :: forall a. a -> [a]
           (imported from ‘Prelude’ at holes.hs:1:8-12
            (and originally defined in ‘GHC.List’))
index 6bebd37..6857e5e 100644 (file)
@@ -376,10 +376,10 @@ holes3.hs:11:15: error:
            (and originally defined in ‘Data.Tuple’))
         unlines :: [String] -> String
           (imported from ‘Prelude’ at holes3.hs:1:8-13
-           (and originally defined in ‘base-4.11.0.0:Data.OldList’))
+           (and originally defined in ‘base-4.11.1.0:Data.OldList’))
         unwords :: [String] -> String
           (imported from ‘Prelude’ at holes3.hs:1:8-13
-           (and originally defined in ‘base-4.11.0.0:Data.OldList’))
+           (and originally defined in ‘base-4.11.1.0:Data.OldList’))
         head :: forall a. [a] -> a
           (imported from ‘Prelude’ at holes3.hs:1:8-13
            (and originally defined in ‘GHC.List’))
@@ -388,10 +388,10 @@ holes3.hs:11:15: error:
            (and originally defined in ‘GHC.List’))
         lines :: String -> [String]
           (imported from ‘Prelude’ at holes3.hs:1:8-13
-           (and originally defined in ‘base-4.11.0.0:Data.OldList’))
+           (and originally defined in ‘base-4.11.1.0:Data.OldList’))
         words :: String -> [String]
           (imported from ‘Prelude’ at holes3.hs:1:8-13
-           (and originally defined in ‘base-4.11.0.0:Data.OldList’))
+           (and originally defined in ‘base-4.11.1.0:Data.OldList’))
         repeat :: forall a. a -> [a]
           (imported from ‘Prelude’ at holes3.hs:1:8-13
            (and originally defined in ‘GHC.List’))
index 0827177..5c90453 100644 (file)
@@ -19,5 +19,5 @@ COERCION AXIOMS
     Zork s a b = forall chain. Q s a chain -> ST s ()
       -- Defined at tc231.hs:25:1
 Dependent modules: []
-Dependent packages: [base-4.11.0.0, ghc-prim-0.5.2.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.11.1.0, ghc-prim-0.5.2.0,
+                     integer-gmp-1.0.2.0]
index 0faf435..3d88344 100644 (file)
@@ -1,13 +1,13 @@
 
 TcStaticPointersFail02.hs:9:6: error:
-    • No instance for (base-4.11.0.0:Data.Typeable.Internal.Typeable b)
+    • No instance for (base-4.11.1.0:Data.Typeable.Internal.Typeable b)
         arising from a static form
     • In the expression: static (undefined :: (forall a. a -> a) -> b)
       In an equation for ‘f1’:
           f1 = static (undefined :: (forall a. a -> a) -> b)
 
 TcStaticPointersFail02.hs:12:6: error:
-    • No instance for (base-4.11.0.0:Data.Typeable.Internal.Typeable
+    • No instance for (base-4.11.1.0:Data.Typeable.Internal.Typeable
                          (Monad m => a -> m a))
         arising from a static form
         (maybe you haven't applied a function to enough arguments?)
index e86aa01..7d32e10 100644 (file)
@@ -3,7 +3,7 @@ tcfail182.hs:9:3: error:
     • Couldn't match expected type ‘Prelude.Maybe a’
                   with actual type ‘Maybe a0’
       NB: ‘Maybe’ is defined at tcfail182.hs:6:1-18
-          ‘Prelude.Maybe’ is defined in ‘GHC.Base’ in package ‘base-4.11.0.0’
+          ‘Prelude.Maybe’ is defined in ‘GHC.Base’ in package ‘base-4.11.1.0’
     • In the pattern: Foo
       In an equation for ‘f’: f Foo = 3
     • Relevant bindings include