ghc-prim: Bump version
authorBen Gamari <ben@smart-cactus.org>
Thu, 20 Jul 2017 15:27:45 +0000 (11:27 -0400)
committerBen Gamari <ben@smart-cactus.org>
Sun, 23 Jul 2017 16:01:06 +0000 (12:01 -0400)
(cherry picked from commit 8c5405f63c2de0c445ec171aab63c35786544b9e)

63 files changed:
libraries/ghc-compact/ghc-compact.cabal
libraries/ghc-prim/ghc-prim.cabal
testsuite/tests/ado/ado004.stderr
testsuite/tests/backpack/should_compile/bkp16.stderr
testsuite/tests/determinism/determ021/determ021.stdout
testsuite/tests/driver/json2.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/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/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/typecheck/should_compile/T12763.stderr
testsuite/tests/typecheck/should_compile/tc231.stderr

index 829e56c..a021c8f 100644 (file)
@@ -36,7 +36,7 @@ library
     UnboxedTuples
     CPP
 
-  build-depends: ghc-prim   == 0.5.0.0,
+  build-depends: ghc-prim   == 0.5.1.0,
                  base       >= 4.9.0 && < 4.11,
                  bytestring >= 0.10.6.0
   ghc-options: -Wall
index 60f229c..00a029e 100644 (file)
@@ -1,5 +1,5 @@
 name:           ghc-prim
-version:        0.5.0.0
+version:        0.5.1.0
 -- NOTE: Don't forget to update ./changelog.md
 license:        BSD3
 license-file:   LICENSE
index 104e223..726309d 100644 (file)
@@ -36,5 +36,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index ef64f71..59ed676 100644 (file)
@@ -4,5 +4,5 @@
   Instantiating q
   [1 of 1] Including p[Int=base-4.10.0.0:GHC.Exts]
     Instantiating p[Int=base-4.10.0.0:GHC.Exts]
-    [1 of 1] Including ghc-prim-0.5.0.0
+    [1 of 1] Including ghc-prim-0.5.1.0
     [1 of 1] Compiling Int[sig]         ( p/Int.hsig, bkp16.out/p/p-97PZnzqiJmd2hTwUNGdjod/Int.o )
index d866212..93cd3af 100644 (file)
@@ -7,7 +7,7 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.1.0]
 [1 of 1] Compiling A                ( A.hs, A.o )
 TYPE SIGNATURES
@@ -18,5 +18,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.1.0]
index 33901c6..f511d97 100644 (file)
@@ -3,7 +3,7 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 [
- {"span": null,"doc": "TYPE SIGNATURES\n  foo :: forall a. a -> a\nTYPE CONSTRUCTORS\nCOERCION AXIOMS\nDependent modules: []\nDependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,\n                     integer-gmp-1.0.0.1]","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.10.0.0, ghc-prim-0.5.1.0,\n                     integer-gmp-1.0.0.1]","severity": "SevOutput","reason": null}]
index 17d307d..37430bb 100644 (file)
@@ -20,5 +20,5 @@ INSTANCES
 FAMILY INSTANCES
   type Elem (ListColl a)
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 9d89067..e801b59 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.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index c26ea58..b1e7395 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 989564d..8e4a642 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index b086368..17ed94f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index ae3ac1f..9f19495 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 5e1e17d..c1e2e8d 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index ef785f9..7546578 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 696baa1..43c3313 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 4c946a7..a69185c 100644 (file)
@@ -20,5 +20,5 @@ COERCION AXIOMS
 FAMILY INSTANCES
   data instance Sing
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 4668148..0e65ec0 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 733c725..1f5d070 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 733c725..1f5d070 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index e4e425d..9ab12a3 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 17e9d5a..655a674 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 01cf863..aa03131 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 69fb672..18d6e82 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 696baa1..43c3313 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 696baa1..43c3313 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index c690e9a..488b83f 100644 (file)
@@ -7,5 +7,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 6975ea2..9a1916f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index ba586bd..06c9795 100644 (file)
@@ -230,5 +230,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 5819c9f..05a121f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 5819c9f..05a121f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 3f6937e..c67cd93 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 696baa1..43c3313 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 94016ed..527abb9 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 94016ed..527abb9 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index aaa90a8..7754a44 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 3d7146a..68bea60 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.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index aaa90a8..7754a44 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index d2442eb..bcf41d5 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 2990f7e..1b8ce00 100644 (file)
@@ -19,5 +19,5 @@ COERCION AXIOMS
 FAMILY INSTANCES
   data instance Sing
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 9d7618d..4307596 100644 (file)
@@ -9,5 +9,5 @@ COERCION AXIOMS
     F _t = Int
       -- Defined at NamedWildcardInTypeFamilyInstanceLHS.hs:5:3
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 6725887..1e76092 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index b787753..bf8affb 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 1ac6d80..a3cb41c 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 696baa1..43c3313 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 2dda7a4..c570026 100644 (file)
@@ -5,5 +5,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 50e59f3..3aa5467 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 48f9ea9..d31eafe 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 4571a27..d9a44c3 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 71e72a0..ebe89e2 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index dd6454b..0c222cd 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.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index ca06301..ca794d7 100644 (file)
@@ -3,7 +3,7 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 
 SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
index aebc8cf..4bc15fd 100644 (file)
@@ -11,5 +11,5 @@ FAMILY INSTANCES
   type instance F Int _
   type instance F Bool _
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 880c72d..68c4ebb 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 1a2a7b3..d67abc2 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index 352890a..5d9ffd2 100644 (file)
@@ -4,7 +4,7 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 
 WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
index e9f7823..dd2f16d 100644 (file)
@@ -21,7 +21,7 @@ TYPE CONSTRUCTORS
   data T7 (a :: k) b = K7 b
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 
 ==================== Typechecker ====================
index 84346b9..432d936 100644 (file)
@@ -8,7 +8,7 @@ TYPE CONSTRUCTORS
 COERCION AXIOMS
   axiom Roles12.N:C2 :: C2 a = a -> a -- Defined at Roles14.hs:6:1
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 
 ==================== Typechecker ====================
index 23d253e..6f77024 100644 (file)
@@ -7,7 +7,7 @@ TYPE CONSTRUCTORS
   data T2 a = K2 (FunPtr a)
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 
 ==================== Typechecker ====================
index 32fcea0..4a92997 100644 (file)
@@ -29,7 +29,7 @@ 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.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 
 ==================== Typechecker ====================
index 69394d2..7a61af6 100644 (file)
@@ -14,7 +14,7 @@ COERCION AXIOMS
   axiom Roles4.N:C3 ::
     C3 a = a -> Syn1 a -- Defined at Roles4.hs:11:1
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 
 ==================== Typechecker ====================
index 09b9cff..117cea6 100644 (file)
@@ -16,7 +16,7 @@ INSTANCES
     -- Defined at T8958.hs:10:10
   instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
 
 ==================== Typechecker ====================
index 8f1937d..61db0a3 100644 (file)
@@ -10,5 +10,5 @@ COERCION AXIOMS
 INSTANCES
   instance C Int -- Defined at T12763.hs:9:10
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]
index a73b7c3..4962bfd 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.10.0.0, ghc-prim-0.5.0.0,
+Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
                      integer-gmp-1.0.0.1]