Bump ghc-prim version to 0.5.0.0 (closes #11043)
authorHerbert Valerio Riedel <hvr@gnu.org>
Sun, 1 Nov 2015 11:38:42 +0000 (12:38 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sun, 1 Nov 2015 12:13:36 +0000 (13:13 +0100)
This also needs to update the primitive/vector submodules in order to
relax upper bounds on ghc-prim.

Like in f8ba4b55cc3a061458f5cfabf17de96128defbbb, a mass-rewrite in testsuite/ via

  sed -i s,ghc-prim-0.4.0.0,ghc-prim-0.5.0.0,g $(git grep -Fl 'ghc-prim-0.4.0.0')

was performed.

58 files changed:
libraries/base/base.cabal
libraries/ghc-prim/ghc-prim.cabal
libraries/primitive
libraries/vector
testsuite/tests/ado/ado004.stderr
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/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/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/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/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/pkg01/safePkg01.stdout
testsuite/tests/th/TH_Roles2.stderr
testsuite/tests/typecheck/should_compile/tc231.stderr

index 5f86a14..9354d04 100644 (file)
@@ -93,7 +93,7 @@ Library
         UnliftedFFITypes
         Unsafe
 
-    build-depends: rts == 1.0.*, ghc-prim == 0.4.*
+    build-depends: rts == 1.0.*, ghc-prim == 0.5.*
     if flag(integer-simple)
         build-depends: integer-simple >= 0.1.1 && < 0.2
 
index 90841ca..0b4f651 100644 (file)
@@ -1,6 +1,6 @@
 name:           ghc-prim
-version:        0.4.0.0
--- GHC 7.8.4 released with 0.3.1.0
+version:        0.5.0.0
+-- NOTE: Don't forget to update ./changelog.md
 license:        BSD3
 license-file:   LICENSE
 category:       GHC
index 0359ea1..83d3d23 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 0359ea15842d4e6bef27c0d621964507e4bfd219
+Subproject commit 83d3d23d2fa1583ecd1b59464cc889924e1b5fff
index 552ff11..6c17dd6 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 552ff11c2bd905faff53b2e34900cbbbf59955c8
+Subproject commit 6c17dd6fadc5e7e3e09f7892380ce1339f296efd
index 433c699..5177765 100644 (file)
@@ -24,5 +24,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 9fae663..0c31399 100644 (file)
@@ -17,5 +17,5 @@ INSTANCES
 FAMILY INSTANCES
   type Elem (ListColl a)
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index b1e2a3a..2a9de4b 100644 (file)
@@ -5,5 +5,5 @@ TYPE CONSTRUCTORS
     Promotable
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 85dd778..05e2de4 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 3a12f88..1d1670f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 3189aa7..a5e91de 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 3e2cc20..4a86cac 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 5084cb9..bcbe00e 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 42c78a3..f4a23a6 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 900f4da..755d875 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 2c067a3..dd1de7e 100644 (file)
@@ -10,5 +10,5 @@ COERCION AXIOMS
 FAMILY INSTANCES
   data instance Sing
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 758979f..314dcf0 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index d4ec1cd..77355f1 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
index f916921..033dfab 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 73999a1..58ad32f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 5e463fb..c281262 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 77aa3d9..bdae2f7 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 900f4da..755d875 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 900f4da..755d875 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index f32f1da..7554ce9 100644 (file)
@@ -7,5 +7,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 202c479..b3c80fb 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 07569e6..763cd73 100644 (file)
@@ -227,5 +227,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
index ae1728a..ca49528 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 7fa954b..528cfcb 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 900f4da..755d875 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 4da8fdd..ebd780d 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 4da8fdd..ebd780d 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index c6b1af4..3a39acf 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 579392e..ef1b755 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.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index c6b1af4..3a39acf 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 633283d..88cf133 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index f4c0303..f79a4c3 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 66ff0d3..74be98a 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 900f4da..755d875 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index aaaa904..813d990 100644 (file)
@@ -5,5 +5,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 1975914..83e9ee5 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 81fdbed..c18e05a 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index b5ab04b..990fe07 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 3d7db92..513b5ce 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 6343c46..25fa959 100644 (file)
@@ -8,5 +8,5 @@ TYPE CONSTRUCTORS
     Promotable
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 36a56ac..c087fda 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index d0938f7..44f05a7 100644 (file)
@@ -9,5 +9,5 @@ FAMILY INSTANCES
   type instance F Int _
   type instance F Bool _
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
index 4546e72..866a685 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
index e349d1e..e97c1f8 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
index 3e208a1..df7cbfc 100644 (file)
@@ -4,7 +4,7 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS\r
 COERCION AXIOMS\r
 Dependent modules: []\r
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,\r
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
                      integer-gmp-1.0.0.0]\r
 \r
 WarningWildcardInstantiations.hs:5:14: warning:\r
index ec2be6a..839d04d 100644 (file)
@@ -17,7 +17,7 @@ TYPE CONSTRUCTORS
   data T7 (a :: k) b = K7 b
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index 9fd563a..ca1f817 100644 (file)
@@ -7,7 +7,7 @@ TYPE CONSTRUCTORS
 COERCION AXIOMS
   axiom Roles12.NTCo:C2 :: C2 a = a -> a
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index 69cab17..d885534 100644 (file)
@@ -5,7 +5,7 @@ TYPE CONSTRUCTORS
   data T2 a = K2 (FunPtr a)
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index 9e47da5..b449299 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.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index c8480cd..bcc1f44 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.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index 94d9a0c..7d59803 100644 (file)
@@ -16,7 +16,7 @@ INSTANCES
   instance [incoherent] Representational a
     -- Defined at T8958.hs:10:10
 Dependent modules: []
-Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
index a1cfda4..b5fa578 100644 (file)
@@ -4,42 +4,42 @@ pdb.safePkg01/local.db:
 trusted: False
 
 M_SafePkg
-package dependencies: base-4.9.0.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0* ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
 trusted: safe
 require own pkg trusted: False
 
 M_SafePkg2
-package dependencies: base-4.9.0.0 ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0 ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
 trusted: trustworthy
 require own pkg trusted: False
 
 M_SafePkg3
-package dependencies: base-4.9.0.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0* ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
 trusted: safe
 require own pkg trusted: True
 
 M_SafePkg4
-package dependencies: base-4.9.0.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0* ghc-prim-0.5.0.0 integer-gmp-1.0.0.0
 trusted: safe
 require own pkg trusted: True
 
 M_SafePkg5
-package dependencies: base-4.9.0.0* ghc-prim-0.4.0.0 integer-gmp-1.0.0.0
+package dependencies: base-4.9.0.0* ghc-prim-0.5.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.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
+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.5.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.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
+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.5.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.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
+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.5.0.0 integer-gmp-1.0.0.0
 trusted: trustworthy
 require own pkg trusted: False
 
index eeb6531..7b68958 100644 (file)
@@ -5,7 +5,7 @@ TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
 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,
+                     ghc-boot-0.0.0.0, ghc-prim-0.5.0.0, integer-gmp-1.0.0.0,
                      pretty-1.1.2.0, template-haskell-2.11.0.0]
 
 ==================== Typechecker ====================
index 53a56eb..b713423 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.9.0.0, ghc-prim-0.4.0.0,
+Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
                      integer-gmp-1.0.0.0]