Commit 97ee53a5 authored by Ben Gamari's avatar Ben Gamari 🐢

base: Bump and write changelog

parent ca5442fc
name: base
version: 4.10.0.0
version: 4.10.1.0
-- NOTE: Don't forget to update ./changelog.md
license: BSD3
license-file: LICENSE
......
# Changelog for [`base` package](http://hackage.haskell.org/package/base)
## 4.10.1.0 *November 2017*
* Bundled with GHC 8.2.2
* The file locking primitives provided by `GHC.IO.Handle` now use
Linux open file descriptor locking if available.
* Fixed bottoming definition of `clearBit` for `Natural`
## 4.10.0.0 *July 2017*
* Bundled with GHC 8.2.1
......
......@@ -36,5 +36,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -2,7 +2,7 @@
[1 of 1] Compiling Int[sig] ( p/Int.hsig, nothing )
[2 of 2] Processing q
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 p[Int=base-4.10.1.0:GHC.Exts]
Instantiating p[Int=base-4.10.1.0:GHC.Exts]
[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 )
......@@ -2,8 +2,8 @@
[1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, nothing )
[2 of 2] Processing q
Instantiating q
[1 of 1] Including p[ShouldFail=base-4.10.0.0:Data.Bool]
Instantiating p[ShouldFail=base-4.10.0.0:Data.Bool]
[1 of 1] Including p[ShouldFail=base-4.10.1.0:Data.Bool]
Instantiating p[ShouldFail=base-4.10.1.0:Data.Bool]
[1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/ShouldFail.o )
bkpfail16.out/p/p-1OqLaT7dAn947wScQQKCw5/../ShouldFail.hi:1:1: error:
......
......@@ -2,8 +2,8 @@
[1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, nothing )
[2 of 2] Processing q
Instantiating q
[1 of 1] Including p[ShouldFail=base-4.10.0.0:Prelude]
Instantiating p[ShouldFail=base-4.10.0.0:Prelude]
[1 of 1] Including p[ShouldFail=base-4.10.1.0:Prelude]
Instantiating p[ShouldFail=base-4.10.1.0:Prelude]
[1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail17.out/p/p-2W6J7O3LvroH97zGxbPEGF/ShouldFail.o )
<no location info>: error:
......
......@@ -2,8 +2,8 @@
[1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, nothing )
[2 of 2] Processing q
Instantiating q
[1 of 1] Including p[ShouldFail=base-4.10.0.0:Data.STRef]
Instantiating p[ShouldFail=base-4.10.0.0:Data.STRef]
[1 of 1] Including p[ShouldFail=base-4.10.1.0:Data.STRef]
Instantiating p[ShouldFail=base-4.10.1.0:Data.STRef]
[1 of 1] Compiling ShouldFail[sig] ( p/ShouldFail.hsig, bkpfail19.out/p/p-CfyUIAu1JTRCDuXEyGszXN/ShouldFail.o )
<no location info>: error:
......
......@@ -7,7 +7,7 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
Dependent packages: [base-4.10.1.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.1.0,
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,7 +3,7 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
[
{"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}]
{"span": null,"doc": "TYPE SIGNATURES\n foo :: forall a. a -> a\nTYPE CONSTRUCTORS\nCOERCION AXIOMS\nDependent modules: []\nDependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,\n integer-gmp-1.0.1.0]","severity": "SevOutput","reason": null}]
......@@ -35,5 +35,5 @@ class (RealFrac a, Floating a) => RealFloat a where
-- Defined in ‘GHC.Float’
instance RealFloat Float -- Defined in ‘GHC.Float’
instance RealFloat Double -- Defined in ‘GHC.Float’
base-4.10.0.0:Data.OldList.isPrefixOf :: Eq a => [a] -> [a] -> Bool
-- Defined in ‘base-4.10.0.0:Data.OldList’
base-4.10.1.0:Data.OldList.isPrefixOf :: Eq a => [a] -> [a] -> Bool
-- Defined in ‘base-4.10.1.0:Data.OldList’
......@@ -20,5 +20,5 @@ INSTANCES
FAMILY INSTANCES
type Elem (ListColl a)
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -20,5 +20,5 @@ COERCION AXIOMS
FAMILY INSTANCES
data instance Sing
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -7,5 +7,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -230,5 +230,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -19,5 +19,5 @@ COERCION AXIOMS
FAMILY INSTANCES
data instance Sing
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -5,5 +5,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,8 +3,8 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
SomethingShowable.hs:5:1: warning: [-Wsimplifiable-class-constraints (in -Wdefault)]
• The constraint ‘Show Bool’ matches an instance declaration
......
......@@ -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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -4,8 +4,8 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_a’ standing for ‘a’
......
......@@ -3,7 +3,7 @@ rnfail040.hs:7:12: error:
Conflicting exports for ‘nub’:
‘module M’ exports ‘M.nub’
imported from ‘Data.List’ at rnfail040.hs:10:2-22
(and originally defined in ‘base-4.10.0.0:Data.OldList’)
(and originally defined in ‘base-4.10.1.0:Data.OldList’)
‘module M’ exports ‘T.nub’
imported from ‘Rnfail040_A’ at rnfail040.hs:11:2-24
(and originally defined at Rnfail040_A.hs:2:3-5)
......@@ -21,8 +21,8 @@ TYPE CONSTRUCTORS
data T7 (a :: k) b = K7 b
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
==================== Typechecker ====================
Roles1.$tcT7
......
......@@ -8,8 +8,8 @@ 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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
==================== Typechecker ====================
Roles12.$tcC2
......
......@@ -7,8 +7,8 @@ TYPE CONSTRUCTORS
data T2 a = K2 (FunPtr a)
COERCION AXIOMS
Dependent modules: []
Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
==================== Typechecker ====================
Roles2.$tcT2
......
......@@ -29,8 +29,8 @@ 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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
==================== Typechecker ====================
Roles3.$tcC4
......
......@@ -14,8 +14,8 @@ 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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
==================== Typechecker ====================
Roles4.$tcC3
......
......@@ -16,8 +16,8 @@ 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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
==================== Typechecker ====================
T8958.$tcMap
......
[3 of 3] Compiling Check01 ( Check01.hs, Check01.o )
<no location info>: error:
The package (base-4.10.0.0) is required to be trusted but it isn't!
The package (base-4.10.1.0) is required to be trusted but it isn't!
......@@ -2,4 +2,4 @@
[2 of 2] Compiling Check06 ( Check06.hs, Check06.o )
<no location info>: error:
The package (base-4.10.0.0) is required to be trusted but it isn't!
The package (base-4.10.1.0) is required to be trusted but it isn't!
......@@ -3,4 +3,4 @@
[3 of 3] Compiling Check08 ( Check08.hs, Check08.o )
<no location info>: error:
The package (base-4.10.0.0) is required to be trusted but it isn't!
The package (base-4.10.1.0) is required to be trusted but it isn't!
Check09.hs:4:1: error:
Prelude: Can't be safely imported!
The package (base-4.10.0.0) the module resides in isn't trusted.
The package (base-4.10.1.0) the module resides in isn't trusted.
Check09.hs:5:1: error:
Data.ByteString.Char8: Can't be safely imported!
The package (bytestring-0.10.8.1) the module resides in isn't trusted.
The package (bytestring-0.10.8.2) the module resides in isn't trusted.
ImpSafe01.hs:9:1: error:
Data.Word: Can't be safely imported!
The package (base-4.10.0.0) the module resides in isn't trusted.
The package (base-4.10.1.0) the module resides in isn't trusted.
ImpSafe04.hs:9:1: error:
Data.Word: Can't be safely imported!
The package (base-4.10.0.0) the module resides in isn't trusted.
The package (base-4.10.1.0) the module resides in isn't trusted.
SafeFlags17.hs:4:8: error:
Prelude: Can't be safely imported!
The package (base-4.10.0.0) the module resides in isn't trusted.
The package (base-4.10.1.0) the module resides in isn't trusted.
......@@ -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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,
integer-gmp-1.0.1.0]
......@@ -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.1.0,
integer-gmp-1.0.0.1]
Dependent packages: [base-4.10.1.0, ghc-prim-0.5.1.0,