Bump `base` version to 4.9.0.0 (closes #11026)
authorHerbert Valerio Riedel <hvr@gnu.org>
Sun, 1 Nov 2015 09:54:32 +0000 (10:54 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sun, 1 Nov 2015 10:59:24 +0000 (11:59 +0100)
This also relaxes a few upper bounds on base in the ghc.git repo;

This required a mass-rewrite in testsuite/

  sed -i s,base-4.8.2.0,base-4.9.0.0,g $(git grep -Fl 'base-4.8.2.0')

because it turns out the testsuite is still sensitive to package version
changes.

74 files changed:
libraries/base/base.cabal
libraries/base/changelog.md
libraries/template-haskell/template-haskell.cabal
testsuite/tests/ado/ado004.stderr
testsuite/tests/cabal/cabal06/q/q-1.0.conf
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/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/plugins/annotation-plugin/annotation-plugin.cabal
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/check/pkg01/ImpSafeOnly07.stderr
testsuite/tests/safeHaskell/check/pkg01/ImpSafeOnly08.stderr
testsuite/tests/safeHaskell/check/pkg01/safePkg01.stdout
testsuite/tests/safeHaskell/flags/SafeFlags17.stderr
testsuite/tests/th/TH_Roles2.stderr
testsuite/tests/typecheck/should_compile/tc231.stderr
testsuite/tests/typecheck/should_fail/tcfail182.stderr

index 7a0ef98..5f86a14 100644 (file)
@@ -1,5 +1,5 @@
 name:           base
-version:        4.8.2.0
+version:        4.9.0.0
 -- NOTE: Don't forget to update ./changelog.md
 license:        BSD3
 license-file:   LICENSE
index 97a4971..e62f019 100644 (file)
@@ -1,12 +1,12 @@
 # Changelog for [`base` package](http://hackage.haskell.org/package/base)
 
-## 4.8.2.0  *TBA*
+## 4.9.0.0  *TBA*
+
+  * Bundled with GHC 8.0
 
   * The restore operation provided by `mask` and `uninterruptibleMask` now
     restores the previous masking state whatever the current masking state is.
 
-  * Bundled with GHC 7.12.1
-
   * `Alt`, `Dual`, `First`, `Last`, `Product`, and `Sum` now have `Data`,
     `MonadZip`, and `MonadFix` instances
 
index f1265d4..40debcb 100644 (file)
@@ -47,7 +47,7 @@ Library
         Language.Haskell.TH.Lib.Map
 
     build-depends:
-        base       >= 4.6 && < 4.9,
+        base       >= 4.6 && < 4.10,
         ghc-boot,
         pretty     == 1.1.*
 
index 691a09e..433c699 100644 (file)
@@ -24,5 +24,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index f9afb4f..c628151 100644 (file)
@@ -13,7 +13,7 @@ trusted: False
 import-dirs: /5playpen/t-edyang/ghc-backpack/testsuite/tests/cabal/cabal06/inst-d/lib/x86_64-linux-ghc-7.9.20140719/q-1.0
 library-dirs: /5playpen/t-edyang/ghc-backpack/testsuite/tests/cabal/cabal06/inst-d/lib/x86_64-linux-ghc-7.9.20140719/q-1.0
 hs-libraries: HSd54a904d84001e92dbb7d30e2bede8ce
-depends: base-4.8.2.0-inplace
+depends: base-4.9.0.0-inplace
          p-1.0-168289aa0216a183a2729001bb18e7a8
 haddock-interfaces: /5playpen/t-edyang/ghc-backpack/testsuite/tests/cabal/cabal06/inst-d/share/doc/x86_64-linux-ghc-7.9.20140719/q-1.0/html/q.haddock
 haddock-html: /5playpen/t-edyang/ghc-backpack/testsuite/tests/cabal/cabal06/inst-d/share/doc/x86_64-linux-ghc-7.9.20140719/q-1.0/html
index eb057ca..20c7f0d 100644 (file)
@@ -34,4 +34,4 @@ class (RealFrac a, Floating a) => RealFloat a where
 instance RealFloat Float -- Defined in ‘GHC.Float’\r
 instance RealFloat Double -- Defined in ‘GHC.Float’\r
 isPrefixOf :: Eq a => [a] -> [a] -> Bool\r
-       -- Defined in ‘base-4.8.2.0:Data.OldList’\r
+       -- Defined in ‘base-4.9.0.0:Data.OldList’\r
index 57e8b0d..9fae663 100644 (file)
@@ -17,5 +17,5 @@ INSTANCES
 FAMILY INSTANCES
   type Elem (ListColl a)
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 9a60883..b1e2a3a 100644 (file)
@@ -5,5 +5,5 @@ TYPE CONSTRUCTORS
     Promotable
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 6609428..85dd778 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 752dd59..3a12f88 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index ab54ba2..3189aa7 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index bc2d748..3e2cc20 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 79636d1..5084cb9 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index a28358a..42c78a3 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 05795b0..900f4da 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index c2768c4..2c067a3 100644 (file)
@@ -10,5 +10,5 @@ COERCION AXIOMS
 FAMILY INSTANCES
   data instance Sing
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 895e2bd..758979f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index fe4fcaa..d4ec1cd 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 11f5724..f916921 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 23eb027..73999a1 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 92f7a45..a3c9de1 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.3.1.0,
                      integer-gmp-0.5.1.0]
index 21814fd..5e463fb 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index b42edf5..77aa3d9 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 05795b0..900f4da 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 05795b0..900f4da 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index c536f86..f32f1da 100644 (file)
@@ -7,5 +7,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 60ad030..202c479 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 8799acd..07569e6 100644 (file)
@@ -227,5 +227,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 2c2ab8c..ae1728a 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 1510625..20c574b 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.3.1.0,
                      integer-gmp-0.5.1.0]
index dadd41d..7fa954b 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 05795b0..900f4da 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index f4ed67d..4da8fdd 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index f4ed67d..4da8fdd 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 7f09a26..c6b1af4 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 02f3612..579392e 100644 (file)
@@ -14,5 +14,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.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 7f09a26..c6b1af4 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 2c8e929..633283d 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index b1ebbc3..f4c0303 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 562d1d3..66ff0d3 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 1052169..551641c 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.3.1.0,
                      integer-gmp-0.5.1.0]
\ No newline at end of file
index 05795b0..900f4da 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index cdba1a2..aaaa904 100644 (file)
@@ -5,5 +5,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index ebe72a6..1975914 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index e59eb4a..81fdbed 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 97eb787..b5ab04b 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 8f2efac..3d7db92 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
index e06fc5f..6343c46 100644 (file)
@@ -8,5 +8,5 @@ TYPE CONSTRUCTORS
     Promotable
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 274dd77..36a56ac 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index b2ead26..d0938f7 100644 (file)
@@ -9,5 +9,5 @@ FAMILY INSTANCES
   type instance F Int _
   type instance F Bool _
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 6a40284..4546e72 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 9048c1d..e349d1e 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 3037db7..3e208a1 100644 (file)
@@ -4,7 +4,7 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
                      integer-gmp-1.0.0.0]\r
 \r
 WarningWildcardInstantiations.hs:5:14: warning:\r
index e83c0aa..412ff9c 100644 (file)
@@ -7,5 +7,5 @@ cabal-version:       >=1.10
 library
   exposed-modules:     SayAnnNames
   other-extensions:    DeriveDataTypeable
-  build-depends:       base >=4.8 && <4.9, ghc
+  build-depends:       base >=4.8 && <4.10, ghc
   default-language:    Haskell2010
index 889d2fb..1b0e56e 100644 (file)
@@ -3,7 +3,7 @@ rnfail040.hs:7:12:
     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.8.2.0:Data.OldList’)
+         (and originally defined in ‘base-4.9.0.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 a4beb64..ec2be6a 100644 (file)
@@ -17,7 +17,7 @@ TYPE CONSTRUCTORS
   data T7 (a :: k) b = K7 b
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index 20c0bfe..9fd563a 100644 (file)
@@ -7,7 +7,7 @@ TYPE CONSTRUCTORS
 COERCION AXIOMS
   axiom Roles12.NTCo:C2 :: C2 a = a -> a
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index 35895a8..69cab17 100644 (file)
@@ -5,7 +5,7 @@ TYPE CONSTRUCTORS
   data T2 a = K2 (FunPtr a)
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index 483b349..9e47da5 100644 (file)
@@ -22,7 +22,7 @@ COERCION AXIOMS
   axiom Roles3.NTCo:C3 :: C3 a b = a -> F3 b -> F3 b
   axiom Roles3.NTCo:C4 :: C4 a b = a -> F4 b -> F4 b
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index 2c19dd2..c8480cd 100644 (file)
@@ -11,7 +11,7 @@ COERCION AXIOMS
   axiom Roles4.NTCo:C1 :: C1 a = a -> a
   axiom Roles4.NTCo:C3 :: C3 a = a -> Syn1 a
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index c62d9c4..94d9a0c 100644 (file)
@@ -16,7 +16,7 @@ INSTANCES
   instance [incoherent] Representational a
     -- Defined at T8958.hs:10:10
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index ffad3ba..f5233f5 100644 (file)
@@ -1,4 +1,4 @@
 [3 of 3] Compiling Check01          ( Check01.hs, Check01.o )
 
 <no location info>:
-    The package (base-4.8.2.0) is required to be trusted but it isn't!
+    The package (base-4.9.0.0) is required to be trusted but it isn't!
index 2d1df3e..78c2676 100644 (file)
@@ -2,4 +2,4 @@
 [2 of 2] Compiling Check06          ( Check06.hs, Check06.o )
 
 <no location info>:
-    The package (base-4.8.2.0) is required to be trusted but it isn't!
+    The package (base-4.9.0.0) is required to be trusted but it isn't!
index 4c5980f..a1f6c64 100644 (file)
@@ -3,4 +3,4 @@
 [3 of 3] Compiling Check08          ( Check08.hs, Check08.o )
 
 <no location info>:
-    The package (base-4.8.2.0) is required to be trusted but it isn't!
+    The package (base-4.9.0.0) is required to be trusted but it isn't!
index 6d6effe..1bcbe80 100644 (file)
@@ -1,7 +1,7 @@
 
 Check09.hs:4:1:
     Prelude: Can't be safely imported!
-    The package (base-4.8.2.0) the module resides in isn't trusted.
+    The package (base-4.9.0.0) the module resides in isn't trusted.
 
 Check09.hs:5:1:
     Data.ByteString.Char8: Can't be safely imported!
index 9f08f22..4947b76 100644 (file)
@@ -1,4 +1,4 @@
 
 ImpSafe01.hs:9:1:
     Data.Word: Can't be safely imported!
-    The package (base-4.8.2.0) the module resides in isn't trusted.
+    The package (base-4.9.0.0) the module resides in isn't trusted.
index 84305a5..0cabc2f 100644 (file)
@@ -1,4 +1,4 @@
 
 ImpSafe04.hs:9:1:
     Data.Word: Can't be safely imported!
-    The package (base-4.8.2.0) the module resides in isn't trusted.
+    The package (base-4.9.0.0) the module resides in isn't trusted.
index 5616259..0e6877b 100644 (file)
@@ -1,6 +1,6 @@
 
 <no location info>: error:
-    The package (base-4.8.2.0) is required to be trusted but it isn't!
+    The package (base-4.9.0.0) is required to be trusted but it isn't!
 
 <no location info>: error:
     The package (bytestring-0.10.6.0) is required to be trusted but it isn't!
index 5616259..0e6877b 100644 (file)
@@ -1,6 +1,6 @@
 
 <no location info>: error:
-    The package (base-4.8.2.0) is required to be trusted but it isn't!
+    The package (base-4.9.0.0) is required to be trusted but it isn't!
 
 <no location info>: error:
     The package (bytestring-0.10.6.0) is required to be trusted but it isn't!
index 62f18d1..a1cfda4 100644 (file)
@@ -4,42 +4,42 @@ pdb.safePkg01/local.db:
 trusted: False
 
 M_SafePkg
-package dependencies: base-4.8.2.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
 trusted: safe
 require own pkg trusted: False
 
 M_SafePkg2
-package dependencies: base-4.8.2.0 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
 trusted: trustworthy
 require own pkg trusted: False
 
 M_SafePkg3
-package dependencies: base-4.8.2.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
 trusted: safe
 require own pkg trusted: True
 
 M_SafePkg4
-package dependencies: base-4.8.2.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
 trusted: safe
 require own pkg trusted: True
 
 M_SafePkg5
-package dependencies: base-4.8.2.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
 trusted: safe
 require own pkg trusted: True
 
 M_SafePkg6
-package dependencies: array-0.5.1.0 base-4.8.2.0* bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: array-0.5.1.0 base-4.9.0.0* bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
 trusted: trustworthy
 require own pkg trusted: False
 
 M_SafePkg7
-package dependencies: array-0.5.1.0 base-4.8.2.0* bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: array-0.5.1.0 base-4.9.0.0* bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
 trusted: safe
 require own pkg trusted: False
 
 M_SafePkg8
-package dependencies: array-0.5.1.0 base-4.8.2.0 bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: array-0.5.1.0 base-4.9.0.0 bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
 trusted: trustworthy
 require own pkg trusted: False
 
index 3d98765..1143e13 100644 (file)
@@ -1,4 +1,4 @@
 
 SafeFlags17.hs:4:8:
     Prelude: Can't be safely imported!
-    The package (base-4.8.2.0) the module resides in isn't trusted.
+    The package (base-4.9.0.0) the module resides in isn't trusted.
index 5ca909f..eeb6531 100644 (file)
@@ -4,7 +4,7 @@ TYPE CONSTRUCTORS
   data T (a :: k)
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [array-0.5.1.0, base-4.8.2.0, deepseq-1.4.1.1,
+Dependent packages: [array-0.5.1.0, base-4.9.0.0, deepseq-1.4.1.1,
                      ghc-boot-0.0.0.0, ghc-prim-0.4.0.0, integer-gmp-1.0.0.0,
                      pretty-1.1.2.0, template-haskell-2.11.0.0]
 
index 5503eaf..53a56eb 100644 (file)
@@ -16,5 +16,5 @@ COERCION AXIOMS
   axiom NTCo:Zork ::
       Zork s a b = forall chain. Q s a chain -> ST s ()
 Dependent modules: []
-Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index fa628a4..1597005 100644 (file)
@@ -3,7 +3,7 @@ tcfail182.hs:9:3: error:
     Couldn't match expected type ‘Prelude.Maybe a’
                 with actual type ‘Maybe t0’
     NB: ‘Maybe’ is defined at tcfail182.hs:6:1-18
-        ‘Prelude.Maybe’ is defined in ‘GHC.Base’ in package ‘base-4.8.2.0’
+        ‘Prelude.Maybe’ is defined in ‘GHC.Base’ in package ‘base-4.9.0.0’
     Relevant bindings include
       f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1)
     In the pattern: Foo