Bump ghc-prim to 0.4.0.0
authorHerbert Valerio Riedel <hvr@gnu.org>
Fri, 20 Mar 2015 11:23:41 +0000 (12:23 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Fri, 20 Mar 2015 11:27:16 +0000 (12:27 +0100)
This major version bump was made necessary by
f44333eae7bc7dc7b6003b75874a02445f6b633b which changed the type
signatures of prefetch primops, as well as other changes
such as 051d694fc978ad28ac3043d296cafddd3c2a7050 turning `Any` into
an abstract closed type family.

Reviewed By: ekmett

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

53 files changed:
libraries/base/base.cabal
libraries/ghc-prim/ghc-prim.cabal
libraries/integer-gmp/integer-gmp.cabal
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/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/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/typecheck/should_compile/tc231.stderr

index 2993692..64ab708 100644 (file)
@@ -98,7 +98,7 @@ Library
         UnliftedFFITypes
         Unsafe
 
-    build-depends: rts == 1.0.*, ghc-prim >= 0.3.1 && < 0.4
+    build-depends: rts == 1.0.*, ghc-prim == 0.4.*
     if flag(integer-simple)
         build-depends: integer-simple >= 0.1.1 && < 0.2
 
index c87f336..b9e74d1 100644 (file)
@@ -1,6 +1,6 @@
 name:           ghc-prim
-version:        0.3.1.0
--- GHC 7.6.1 released with 0.3.0.0
+version:        0.4.0.0
+-- GHC 7.8.4 released with 0.3.1.0
 license:        BSD3
 license-file:   LICENSE
 category:       GHC
index 376139f..493da28 100644 (file)
@@ -73,7 +73,7 @@ Library
     c-sources: cbits/cbits.c
     include-dirs: include
 
-    build-depends: ghc-prim >= 0.3.1 && < 0.4
+    build-depends: ghc-prim == 0.4.*
 
     -- We need to set the package key to integer-gmp
     -- (without a version number) as it's magic.
index ec97dea..ab480b4 100644 (file)
@@ -16,5 +16,5 @@ INSTANCES
 FAMILY INSTANCES
   type Elem (ListColl a)
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-0.5.1.0]
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
index 74b1ae1..2dccd92 100644 (file)
@@ -5,5 +5,5 @@ TYPE CONSTRUCTORS
     Promotable
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index b0952b4..acd0809 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index f902a80..9c55bb1 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index f68e6ef..7d7d3bb 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index be7cc05..7f1dd30 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 8e66994..bbbed0d 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index ec1703a..44f74b9 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 3d8f949..e7865ef 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index fbcadde..f81efb1 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index fb95845..5418eb5 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 9fda9ec..65a7bc7 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index bff0e84..11aaf4d 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 90bcb57..caa57db 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index ce7c7a3..e04c2de 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 3d8f949..e7865ef 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 3d8f949..e7865ef 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 15eb30d..05ccb61 100644 (file)
@@ -7,5 +7,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 8c28c5b..19b4544 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index f4df3cb..e431509 100644 (file)
@@ -230,5 +230,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 6bb444a..c4d33c1 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 1af38e4..e6ef981 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 3d8f949..e7865ef 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 1a3e436..9785fce 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 1a3e436..9785fce 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 9f99e17..a5de44f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 303f72a..e0c4c11 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.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 5da503b..a5de44f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-0.5.1.0]
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
index e6c007a..e62132f 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 53fb335..ba1fb55 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 492cde1..62bf9ee 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-0.5.1.0]
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
index 3d8f949..e7865ef 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 71258f4..626b4d2 100644 (file)
@@ -5,5 +5,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 9757f04..5434044 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 7b9d39f..6dac5ea 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 51e56f1..8460586 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 96df17e..f0ba022 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 0ebd18b..d12a3ff 100644 (file)
@@ -8,5 +8,5 @@ TYPE CONSTRUCTORS
     Promotable
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index f33d433..cc8eae0 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 96b90d3..6ff0de0 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 1468252..a5c2a35 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
index 8e0fa17..da9aa79 100644 (file)
@@ -4,7 +4,7 @@ TYPE SIGNATURES
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
                      integer-gmp-1.0.0.0]
 
 WarningWildcardInstantiations.hs:5:14: Warning:
index 0ae3048..01c4691 100644 (file)
@@ -17,8 +17,8 @@ TYPE CONSTRUCTORS
   data T7 (a :: k) b = K7 b
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-0.5.1.0]
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
 
index c7e8ed7..504053b 100644 (file)
@@ -6,8 +6,8 @@ TYPE CONSTRUCTORS
 COERCION AXIOMS
   axiom Roles12.NTCo:C2 :: C2 a = a -> a
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-0.5.1.0]
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
 
index b6f13b4..afd2d8c 100644 (file)
@@ -5,8 +5,8 @@ TYPE CONSTRUCTORS
   data T2 a = K2 (FunPtr a)
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-0.5.1.0]
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
 
index 5814d4d..506b895 100644 (file)
@@ -18,8 +18,8 @@ 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.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-0.5.1.0]
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
 
index 7ca6478..26f9abd 100644 (file)
@@ -9,8 +9,8 @@ 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.0.0, ghc-prim-0.3.1.0,
-                     integer-gmp-0.5.1.0]
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
 
 ==================== Typechecker ====================
 
index 558b360..abcd558 100644 (file)
@@ -1,36 +1,36 @@
-\r
-T8958.hs:1:31: Warning:\r
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.\r
-TYPE SIGNATURES\r
-TYPE CONSTRUCTORS\r
-  type role Map nominal representational\r
-  newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]\r
-    Promotable\r
-  class Nominal a\r
-  type role Representational representational\r
-  class Representational a\r
-COERCION AXIOMS\r
-  axiom T8958.NTCo:Map :: Map k v = [(k, v)]\r
-INSTANCES\r
-  instance [incoherent] Nominal a -- Defined at T8958.hs:7:10\r
-  instance [incoherent] Representational a\r
-    -- Defined at T8958.hs:10:10\r
-Dependent modules: []\r
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,\r
-                     integer-gmp-0.5.1.0]\r
-\r
-==================== Typechecker ====================\r
-AbsBinds [a] []\r
-  {Exports: [T8958.$fRepresentationala <= $dRepresentational\r
-               <>]\r
-   Exported types: T8958.$fRepresentationala\r
-                     :: forall a. Representational a\r
-                   [LclIdX[DFunId], Str=DmdType]\r
-   Binds: $dRepresentational = T8958.D:Representational}\r
-AbsBinds [a] []\r
-  {Exports: [T8958.$fNominala <= $dNominal\r
-               <>]\r
-   Exported types: T8958.$fNominala :: forall a. Nominal a\r
-                   [LclIdX[DFunId], Str=DmdType]\r
-   Binds: $dNominal = T8958.D:Nominal}\r
-\r
+
+T8958.hs:1:31: Warning:
+    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+TYPE SIGNATURES
+TYPE CONSTRUCTORS
+  type role Map nominal representational
+  newtype (Nominal k, Representational v) => Map k v = MkMap [(k, v)]
+    Promotable
+  class Nominal a
+  type role Representational representational
+  class Representational a
+COERCION AXIOMS
+  axiom T8958.NTCo:Map :: Map k v = [(k, v)]
+INSTANCES
+  instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
+  instance [incoherent] Representational a
+    -- Defined at T8958.hs:10:10
+Dependent modules: []
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]
+
+==================== Typechecker ====================
+AbsBinds [a] []
+  {Exports: [T8958.$fRepresentationala <= $dRepresentational
+               <>]
+   Exported types: T8958.$fRepresentationala
+                     :: forall a. Representational a
+                   [LclIdX[DFunId], Str=DmdType]
+   Binds: $dRepresentational = T8958.D:Representational}
+AbsBinds [a] []
+  {Exports: [T8958.$fNominala <= $dNominal
+               <>]
+   Exported types: T8958.$fNominala :: forall a. Nominal a
+                   [LclIdX[DFunId], Str=DmdType]
+   Binds: $dNominal = T8958.D:Nominal}
+
index 700f3a3..51b047f 100644 (file)
@@ -4,42 +4,42 @@ pdb.safePkg01/local.db:
 trusted: False
 
 M_SafePkg
-package dependencies: base-4.8.0.0* ghc-prim-0.3.1.0 integer-gmp-1.0.0.0
+package dependencies: base-4.8.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.0.0 ghc-prim-0.3.1.0 integer-gmp-1.0.0.0
+package dependencies: base-4.8.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.0.0* ghc-prim-0.3.1.0 integer-gmp-1.0.0.0
+package dependencies: base-4.8.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.0.0* ghc-prim-0.3.1.0 integer-gmp-1.0.0.0
+package dependencies: base-4.8.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.0.0* ghc-prim-0.3.1.0 integer-gmp-1.0.0.0
+package dependencies: base-4.8.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.0.1 base-4.8.0.0* bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.3.1.0 integer-gmp-1.0.0.0
+package dependencies: array-0.5.1.0 base-4.8.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.0.1 base-4.8.0.0* bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.3.1.0 integer-gmp-1.0.0.0
+package dependencies: array-0.5.1.0 base-4.8.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.0.1 base-4.8.0.0 bytestring-0.10.6.0* deepseq-1.4.1.1 ghc-prim-0.3.1.0 integer-gmp-1.0.0.0
+package dependencies: array-0.5.1.0 base-4.8.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 098fe94..3f10f55 100644 (file)
@@ -1,19 +1,19 @@
-TYPE SIGNATURES\r
-  foo ::\r
-    forall s b chain.\r
-    Zork s (Z [Char]) b =>\r
-    Q s (Z [Char]) chain -> ST s ()\r
-  s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1\r
-TYPE CONSTRUCTORS\r
-  data Q s a chain = Node s a chain\r
-    Promotable\r
-  data Z a = Z a\r
-    Promotable\r
-  class Zork s a b | a -> b where\r
-    huh :: Q s a chain -> ST s ()\r
-COERCION AXIOMS\r
-  axiom NTCo:Zork ::\r
-      Zork s a b = forall chain. Q s a chain -> ST s ()\r
-Dependent modules: []\r
-Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,\r
-                     integer-gmp-0.5.1.0]\r
+TYPE SIGNATURES
+  foo ::
+    forall s b chain.
+    Zork s (Z [Char]) b =>
+    Q s (Z [Char]) chain -> ST s ()
+  s :: forall t t1. Q t (Z [Char]) t1 -> Q t (Z [Char]) t1
+TYPE CONSTRUCTORS
+  data Q s a chain = Node s a chain
+    Promotable
+  data Z a = Z a
+    Promotable
+  class Zork s a b | a -> b where
+    huh :: Q s a chain -> ST s ()
+COERCION AXIOMS
+  axiom NTCo:Zork ::
+      Zork s a b = forall chain. Q s a chain -> ST s ()
+Dependent modules: []
+Dependent packages: [base-4.8.0.0, ghc-prim-0.4.0.0,
+                     integer-gmp-1.0.0.0]