Bump ghc-prim's version where needed
authorAlexandre <alexandrer_b@outlook.com>
Thu, 28 Mar 2019 16:28:42 +0000 (16:28 +0000)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Mon, 1 Apr 2019 07:32:28 +0000 (03:32 -0400)
76 files changed:
ghc/ghc-bin.cabal.in
libraries/base/base.cabal
libraries/ghc-compact/ghc-compact.cabal
libraries/ghc-heap/ghc-heap.cabal.in
libraries/ghc-prim/ghc-prim.cabal
libraries/integer-gmp/integer-gmp.cabal
testsuite/tests/ado/ado004.stderr
testsuite/tests/backpack/should_compile/bkp16.stderr
testsuite/tests/dependent/should_compile/T14729.stderr
testsuite/tests/dependent/should_compile/T15743.stderr
testsuite/tests/dependent/should_compile/T15743e.stderr
testsuite/tests/determinism/determ021/determ021.stdout
testsuite/tests/driver/json2.stderr
testsuite/tests/indexed-types/should_compile/T15711.stderr
testsuite/tests/indexed-types/should_compile/T15852.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/polykinds/T15592.stderr
testsuite/tests/polykinds/T15592b.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/T12763.stderr
testsuite/tests/typecheck/should_compile/tc231.stderr

index 0000a1e..279e127 100644 (file)
@@ -58,7 +58,7 @@ Executable ghc
         Build-depends:
             containers     >= 0.5 && < 0.7,
             deepseq        == 1.4.*,
-            ghc-prim       == 0.5.*,
+            ghc-prim       >= 0.5.0 && <= 0.6.1,
             ghci           == @ProjectVersionMunged@,
             haskeline      == 0.7.*,
             time           >= 1.8 && < 1.10,
index 0b2c9a5..f171890 100644 (file)
@@ -95,7 +95,7 @@ Library
         UnliftedFFITypes
         Unsafe
 
-    build-depends: rts == 1.0, ghc-prim ^>= 0.5.1.0
+    build-depends: rts == 1.0, ghc-prim >= 0.5.1.0 && <= 0.6.1
 
     -- sanity-check to ensure exactly one flag is set
     if !((flag(integer-gmp) && !flag(integer-simple)) || (!flag(integer-gmp) && flag(integer-simple)))
index 5f23189..5bfc549 100644 (file)
@@ -36,7 +36,7 @@ library
     UnboxedTuples
     CPP
 
-  build-depends: ghc-prim   == 0.5.3.*,
+  build-depends: ghc-prim   >= 0.5.3 && <= 0.6.1,
                  base       >= 4.9.0 && < 4.14,
                  bytestring >= 0.10.6.0
   ghc-options: -Wall
index 134db12..a30ea16 100644 (file)
@@ -23,7 +23,7 @@ library
   default-language: Haskell2010
 
   build-depends:    base             >= 4.9.0 && < 5.0
-                  , ghc-prim         > 0.2 && < 0.6
+                  , ghc-prim         > 0.2 && <= 0.6.1
                   , rts              == 1.0.*
 
   ghc-options:      -Wall
index 2f0b1b5..479e73d 100644 (file)
@@ -1,6 +1,6 @@
 cabal-version:  2.1
 name:           ghc-prim
-version:        0.5.3
+version:        0.6.1
 -- NOTE: Don't forget to update ./changelog.md
 license:        BSD-3-Clause
 license-file:   LICENSE
index 52834bb..008da1d 100644 (file)
@@ -58,7 +58,7 @@ library
     StandaloneDeriving
     UnboxedTuples
     UnliftedFFITypes
-  build-depends:       ghc-prim ^>= 0.5.1.0
+  build-depends:       ghc-prim >= 0.5.1.0 && <= 0.6.1
   hs-source-dirs:      src/
   -- We need to set the unit ID to integer-wired-in
   -- (without a version number) as it's magic.
index 480f920..f2fe233 100644 (file)
@@ -42,5 +42,5 @@ TYPE SIGNATURES
     (Monad m, Num (m a)) =>
     (m a -> m (m a)) -> p -> m a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 4017e47..647e459 100644 (file)
@@ -4,5 +4,5 @@
   Instantiating q
   [1 of 1] Including p[Int=base-4.13.0.0:GHC.Exts]
     Instantiating p[Int=base-4.13.0.0:GHC.Exts]
-    [1 of 1] Including ghc-prim-0.5.3
+    [1 of 1] Including ghc-prim-0.6.1
     [1 of 1] Compiling Int[sig]         ( p/Int.hsig, bkp16.out/p/p-97PZnzqiJmd2hTwUNGdjod/Int.o )
index f1294d3..f09d883 100644 (file)
@@ -11,5 +11,5 @@ COERCION AXIOMS
 FAMILY INSTANCES
   type instance F Int = Bool -- Defined at T14729.hs:10:15
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index f9a1c24..be0bc52 100644 (file)
@@ -3,5 +3,5 @@ TYPE CONSTRUCTORS
     forall {k1} k2 (k3 :: k2). Proxy k3 -> k1 -> k2 -> *
     roles nominal nominal nominal phantom phantom phantom
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index fc80d17..2bc8de1 100644 (file)
@@ -52,5 +52,5 @@ DATA CONSTRUCTORS
                 (d :: Proxy k5) (e :: Proxy k7).
          f c -> T k8 a b f c d e
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index a39bc19..b9df4ea 100644 (file)
@@ -5,7 +5,7 @@ TYPE SIGNATURES
     (Applicative f, Num t, Num b) =>
     (t -> f b) -> f b
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 [1 of 1] Compiling A                ( A.hs, A.o )
 TYPE SIGNATURES
@@ -14,5 +14,5 @@ TYPE SIGNATURES
     (Applicative f, Num t, Num b) =>
     (t -> f b) -> f b
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index b419cff..544cb63 100644 (file)
@@ -1 +1 @@
-{"span": null,"doc": "TYPE SIGNATURES\n  foo :: forall a. a -> a\nDependent modules: []\nDependent packages: [base-4.13.0.0, ghc-prim-0.5.3,\n                     integer-gmp-1.0.2.0]","severity": "SevOutput","reason": null}
+{"span": null,"doc": "TYPE SIGNATURES\n  foo :: forall a. a -> a\nDependent modules: []\nDependent packages: [base-4.13.0.0, ghc-prim-0.6.1,\n                     integer-gmp-1.0.2.0]","severity": "SevOutput","reason": null}
index db5181c..fc41818 100644 (file)
@@ -3,5 +3,5 @@ TYPE CONSTRUCTORS
   associated type family F{2} :: forall a. Maybe a -> *
     roles nominal nominal
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index fbc3cb9..d1d352d 100644 (file)
@@ -9,5 +9,5 @@ FAMILY INSTANCES
   data instance forall k1 k2 (j :: k1) (c :: k2).
                   DF (Proxy c) -- Defined at T15852.hs:10:15
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index c83c5e3..c213d24 100644 (file)
@@ -18,5 +18,5 @@ CLASS INSTANCES
 FAMILY INSTANCES
   type instance Elem (ListColl a) = a -- Defined at T3017.hs:13:9
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 4b88c5b..73224c1 100644 (file)
@@ -5,5 +5,5 @@ TYPE CONSTRUCTORS
 DATA CONSTRUCTORS
   Foo :: forall x y z. x -> y -> z -> Foo x y z
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index da3c905..d4842d3 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   addAndOr1 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index d4e6be7..fc9f928 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   addAndOr2 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index d8a7276..2096a59 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   addAndOr3 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 4e36933..b197a47 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   addAndOr4 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 28d1142..367dce1 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   addAndOr5 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index b126c30..c30d267 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   addAndOr6 :: (Int, Bool) -> (Bool, Int) -> (Int, Bool)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 1e425b4..d4b3c35 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   bar :: Bool -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index a633bf7..7a7a364 100644 (file)
@@ -15,5 +15,5 @@ DATA CONSTRUCTORS
 FAMILY INSTANCES
   data instance Sing _ -- Defined at DataFamilyInstanceLHS.hs:8:15
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 6d1a404..9e5da65 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   alpha :: Integer
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 0fd7f5c..37ada9e 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   bravo :: forall _. Num _ => _
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 0fd7f5c..37ada9e 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   bravo :: forall _. Num _ => _
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index aa774f7..d7a6364 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   barry :: forall _. _ -> (Either [Char] _, Either [Char] _)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index f2e1bd6..1a54be1 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: forall a. (a ~ Bool) => (a, Bool)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index fc0d821..3e33dcb 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   every :: forall t. (t -> Bool) -> [t] -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 0a13039..3cbaff9 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   every :: forall _. (_ -> Bool) -> [_] -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 1e425b4..d4b3c35 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   bar :: Bool -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 1e425b4..d4b3c35 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   bar :: Bool -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index a3b033c..a7a6c9b 100644 (file)
@@ -5,5 +5,5 @@ TYPE SIGNATURES
   arbitCs4 :: forall a. (Eq a, Show a, Enum a) => a -> String
   arbitCs5 :: forall a. (Eq a, Enum a, Show a) => a -> String
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index bd7e97e..5148ead 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: String
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 533c8e5..064c995 100644 (file)
@@ -228,5 +228,5 @@ TYPE SIGNATURES
     forall a b c d. (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
   || :: Bool -> Bool -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 1faceb2..6f1a644 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: forall a. Num a => a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 1faceb2..6f1a644 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: forall a. Num a => a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index cfe44a0..73d6e81 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   fall :: forall a. a -> a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 1e425b4..d4b3c35 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   bar :: Bool -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index c7a8129..ef06c5a 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: (forall a. [a] -> [a]) -> ([Bool], [Char])
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index c7a8129..ef06c5a 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: (forall a. [a] -> [a]) -> ([Bool], [Char])
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index ad0dfcf..0d383ba 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   monoLoc :: forall a. a -> ((a, String), (a, String))
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 74889e9..025fa95 100644 (file)
@@ -12,5 +12,5 @@ CLASS INSTANCES
     -- Defined at Meltdown.hs:11:10
   instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index ad0dfcf..0d383ba 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   monoLoc :: forall a. a -> ((a, String), (a, String))
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 9704c5c..9d43415 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: forall b a. (a, b) -> (a, b)
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index f71b0c4..df3ebee 100644 (file)
@@ -14,5 +14,5 @@ FAMILY INSTANCES
   data instance Sing _a
                   -- Defined at NamedWildcardInDataFamilyInstanceLHS.hs:8:15
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 122c1fd..14d2c8d 100644 (file)
@@ -4,5 +4,5 @@ TYPE CONSTRUCTORS
 COERCION AXIOMS
   axiom NamedWildcardInTypeFamilyInstanceLHS.D:R:F :: F _t = Int
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 00ac67b..f0eb80c 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   f :: forall a. Eq a => a -> a -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index f87bc08..de26dc9 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: forall a. a -> a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 1021ca9..24f506f 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: Bool -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 1e425b4..d4b3c35 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   bar :: Bool -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 0526c83..8a2f80a 100644 (file)
@@ -3,5 +3,5 @@ TYPE SIGNATURES
   g :: Bool
   orr :: forall a. a -> a -> a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 6b8d06b..f6dede6 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   test3 :: Bool -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index bfb0055..869f0b9 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   foo :: Bool -> Char
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 7c5023f..86054ed 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   showTwo :: forall a. Show a => a -> String
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 6b6e437..34903a9 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   bar :: forall _. _ -> Bool
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index e204feb..da0aa8e 100644 (file)
@@ -8,5 +8,5 @@ TYPE CONSTRUCTORS
 DATA CONSTRUCTORS
   GenParser :: forall tok st a. tok -> st -> a -> GenParser tok st a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 7f22dd6..6c91a9d 100644 (file)
@@ -1,7 +1,7 @@
 TYPE SIGNATURES
   somethingShowable :: Show Bool => Bool -> String
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 
 SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
index 7f15685..a079ea0 100644 (file)
@@ -12,5 +12,5 @@ FAMILY INSTANCES
   type instance F Bool _ = Bool
                   -- Defined at TypeFamilyInstanceLHS.hs:8:15
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index a006bf1..68bec65 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   unc :: forall _1 _2 _3. (_1 -> _2 -> _3) -> (_1, _2) -> _3
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 8b80cbe..9d5f8e2 100644 (file)
@@ -1,5 +1,5 @@
 TYPE SIGNATURES
   unc :: forall a b _. (a -> b -> _) -> (a, b) -> _
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index c7898d5..4dbb77b 100644 (file)
@@ -2,7 +2,7 @@ TYPE SIGNATURES
   bar :: forall t _. t -> (t -> _) -> _
   foo :: forall a. (Show a, Enum a) => a -> String
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 
 WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
index 2f4e1d6..1a773e0 100644 (file)
@@ -5,5 +5,5 @@ DATA CONSTRUCTORS
   MkT :: forall {k} k1 (f :: k1 -> k -> *) (a :: k1) (b :: k).
          f a b -> T f a b -> T f a b
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index 918e354..8a203f7 100644 (file)
@@ -4,5 +4,5 @@ TYPE CONSTRUCTORS
     forall k (f :: k -> *) (a :: k). f a -> *
     roles nominal nominal nominal nominal
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index b7ee3ad..defc6e8 100644 (file)
@@ -20,7 +20,7 @@ DATA CONSTRUCTORS
   K2 :: forall a. a -> T2 a
   K1 :: forall a. a -> T1 a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
index 1e20e0c..a55e57f 100644 (file)
@@ -6,7 +6,7 @@ TYPE CONSTRUCTORS
 COERCION AXIOMS
   axiom Roles12.N:C2 :: C2 a = a -> a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
index 50b9074..c1d6cc3 100644 (file)
@@ -6,7 +6,7 @@ DATA CONSTRUCTORS
   K2 :: forall a. FunPtr a -> T2 a
   K1 :: forall a. IO a -> T1 a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
index b0f8e9c..255f2ed 100644 (file)
@@ -21,7 +21,7 @@ COERCION AXIOMS
   axiom Roles3.N:C3 :: C3 a b = a -> F3 b -> F3 b
   axiom Roles3.N:C4 :: C4 a b = a -> F4 b -> F4 b
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
index 3bcddb2..8a8851a 100644 (file)
@@ -9,7 +9,7 @@ COERCION AXIOMS
   axiom Roles4.N:C1 :: C1 a = a -> a
   axiom Roles4.N:C3 :: C3 a = a -> Syn1 a
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
index 3bab78b..b975c66 100644 (file)
@@ -16,7 +16,7 @@ CLASS INSTANCES
     -- Defined at T8958.hs:10:10
   instance [incoherent] Nominal a -- Defined at T8958.hs:7:10
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
 
 ==================== Typechecker ====================
index 6967d97..31b2278 100644 (file)
@@ -4,42 +4,42 @@ pdb.safePkg01/local.db
 trusted: False
 
 M_SafePkg
-package dependencies: base-4.12.0.0* ghc-prim-0.5.3 integer-gmp-1.0.2.0
+package dependencies: base-4.12.0.0* ghc-prim-0.6.1 integer-gmp-1.0.2.0
 trusted: safe
 require own pkg trusted: False
 
 M_SafePkg2
-package dependencies: base-4.12.0.0 ghc-prim-0.5.3 integer-gmp-1.0.2.0
+package dependencies: base-4.12.0.0 ghc-prim-0.6.1 integer-gmp-1.0.2.0
 trusted: trustworthy
 require own pkg trusted: False
 
 M_SafePkg3
-package dependencies: base-4.12.0.0* ghc-prim-0.5.3 integer-gmp-1.0.2.0
+package dependencies: base-4.12.0.0* ghc-prim-0.6.1 integer-gmp-1.0.2.0
 trusted: safe
 require own pkg trusted: True
 
 M_SafePkg4
-package dependencies: base-4.12.0.0* ghc-prim-0.5.3 integer-gmp-1.0.2.0
+package dependencies: base-4.12.0.0* ghc-prim-0.6.1 integer-gmp-1.0.2.0
 trusted: safe
 require own pkg trusted: True
 
 M_SafePkg5
-package dependencies: base-4.12.0.0* ghc-prim-0.5.3 integer-gmp-1.0.2.0
+package dependencies: base-4.12.0.0* ghc-prim-0.6.1 integer-gmp-1.0.2.0
 trusted: safe
 require own pkg trusted: True
 
 M_SafePkg6
-package dependencies: array-0.5.2.0 base-4.12.0.0* bytestring-0.10.8.2* deepseq-1.4.4.0 ghc-prim-0.5.3 integer-gmp-1.0.2.0
+package dependencies: array-0.5.2.0 base-4.12.0.0* bytestring-0.10.8.2* deepseq-1.4.4.0 ghc-prim-0.6.1 integer-gmp-1.0.2.0
 trusted: trustworthy
 require own pkg trusted: False
 
 M_SafePkg7
-package dependencies: array-0.5.2.0 base-4.12.0.0* bytestring-0.10.8.2* deepseq-1.4.4.0 ghc-prim-0.5.3 integer-gmp-1.0.2.0
+package dependencies: array-0.5.2.0 base-4.12.0.0* bytestring-0.10.8.2* deepseq-1.4.4.0 ghc-prim-0.6.1 integer-gmp-1.0.2.0
 trusted: safe
 require own pkg trusted: False
 
 M_SafePkg8
-package dependencies: array-0.5.2.0 base-4.12.0.0 bytestring-0.10.8.2* deepseq-1.4.4.0 ghc-prim-0.5.3 integer-gmp-1.0.2.0
+package dependencies: array-0.5.2.0 base-4.12.0.0 bytestring-0.10.8.2* deepseq-1.4.4.0 ghc-prim-0.6.1 integer-gmp-1.0.2.0
 trusted: trustworthy
 require own pkg trusted: False
 
index 2970df6..9abf9ad 100644 (file)
@@ -3,7 +3,7 @@ TYPE CONSTRUCTORS
     roles nominal representational
 Dependent modules: []
 Dependent packages: [array-0.5.2.0, base-4.12.0.0, deepseq-1.4.4.0,
-                     ghc-boot-th-8.7, ghc-prim-0.5.3, integer-gmp-1.0.2.0,
+                     ghc-boot-th-8.7, ghc-prim-0.6.1, integer-gmp-1.0.2.0,
                      pretty-1.1.3.6, template-haskell-2.15.0.0]
 
 ==================== Typechecker ====================
index d5abb6c..b424745 100644 (file)
@@ -8,5 +8,5 @@ COERCION AXIOMS
 CLASS INSTANCES
   instance C Int -- Defined at T12763.hs:9:10
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]
index ed38d53..c0a0545 100644 (file)
@@ -15,5 +15,5 @@ DATA CONSTRUCTORS
   Z :: forall a. a -> Z a
   Node :: forall s a chain. s -> a -> chain -> Q s a chain
 Dependent modules: []
-Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
+Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                      integer-gmp-1.0.2.0]