Commit 84bf1eba authored by Herbert Valerio Riedel's avatar Herbert Valerio Riedel 🕺

Bump ghc-prim version to 0.5.0.0 (closes #11043)

This also needs to update the primitive/vector submodules in order to
relax upper bounds on ghc-prim.

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

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

was performed.
parent 4b8b9347
...@@ -93,7 +93,7 @@ Library ...@@ -93,7 +93,7 @@ Library
UnliftedFFITypes UnliftedFFITypes
Unsafe Unsafe
build-depends: rts == 1.0.*, ghc-prim == 0.4.* build-depends: rts == 1.0.*, ghc-prim == 0.5.*
if flag(integer-simple) if flag(integer-simple)
build-depends: integer-simple >= 0.1.1 && < 0.2 build-depends: integer-simple >= 0.1.1 && < 0.2
......
name: ghc-prim name: ghc-prim
version: 0.4.0.0 version: 0.5.0.0
-- GHC 7.8.4 released with 0.3.1.0 -- NOTE: Don't forget to update ./changelog.md
license: BSD3 license: BSD3
license-file: LICENSE license-file: LICENSE
category: GHC category: GHC
......
Subproject commit 0359ea15842d4e6bef27c0d621964507e4bfd219 Subproject commit 83d3d23d2fa1583ecd1b59464cc889924e1b5fff
Subproject commit 552ff11c2bd905faff53b2e34900cbbbf59955c8 Subproject commit 6c17dd6fadc5e7e3e09f7892380ce1339f296efd
...@@ -24,5 +24,5 @@ TYPE SIGNATURES ...@@ -24,5 +24,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -17,5 +17,5 @@ INSTANCES ...@@ -17,5 +17,5 @@ INSTANCES
FAMILY INSTANCES FAMILY INSTANCES
type Elem (ListColl a) type Elem (ListColl a)
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -5,5 +5,5 @@ TYPE CONSTRUCTORS ...@@ -5,5 +5,5 @@ TYPE CONSTRUCTORS
Promotable Promotable
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -10,5 +10,5 @@ COERCION AXIOMS ...@@ -10,5 +10,5 @@ COERCION AXIOMS
FAMILY INSTANCES FAMILY INSTANCES
data instance Sing data instance Sing
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -7,5 +7,5 @@ TYPE SIGNATURES ...@@ -7,5 +7,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -227,5 +227,5 @@ TYPE SIGNATURES ...@@ -227,5 +227,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -14,5 +14,5 @@ INSTANCES ...@@ -14,5 +14,5 @@ INSTANCES
-- Defined at Meltdown.hs:11:10 -- Defined at Meltdown.hs:11:10
instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10 instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -5,5 +5,5 @@ TYPE SIGNATURES ...@@ -5,5 +5,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -8,5 +8,5 @@ TYPE CONSTRUCTORS ...@@ -8,5 +8,5 @@ TYPE CONSTRUCTORS
Promotable Promotable
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -9,5 +9,5 @@ FAMILY INSTANCES ...@@ -9,5 +9,5 @@ FAMILY INSTANCES
type instance F Int _ type instance F Int _
type instance F Bool _ type instance F Bool _
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -3,5 +3,5 @@ TYPE SIGNATURES ...@@ -3,5 +3,5 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
...@@ -4,7 +4,7 @@ TYPE SIGNATURES ...@@ -4,7 +4,7 @@ TYPE SIGNATURES
TYPE CONSTRUCTORS TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
WarningWildcardInstantiations.hs:5:14: warning: WarningWildcardInstantiations.hs:5:14: warning:
......
...@@ -17,7 +17,7 @@ TYPE CONSTRUCTORS ...@@ -17,7 +17,7 @@ TYPE CONSTRUCTORS
data T7 (a :: k) b = K7 b data T7 (a :: k) b = K7 b
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
==================== Typechecker ==================== ==================== Typechecker ====================
......
...@@ -7,7 +7,7 @@ TYPE CONSTRUCTORS ...@@ -7,7 +7,7 @@ TYPE CONSTRUCTORS
COERCION AXIOMS COERCION AXIOMS
axiom Roles12.NTCo:C2 :: C2 a = a -> a axiom Roles12.NTCo:C2 :: C2 a = a -> a
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
==================== Typechecker ==================== ==================== Typechecker ====================
......
...@@ -5,7 +5,7 @@ TYPE CONSTRUCTORS ...@@ -5,7 +5,7 @@ TYPE CONSTRUCTORS
data T2 a = K2 (FunPtr a) data T2 a = K2 (FunPtr a)
COERCION AXIOMS COERCION AXIOMS
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
==================== Typechecker ==================== ==================== Typechecker ====================
......
...@@ -22,7 +22,7 @@ COERCION AXIOMS ...@@ -22,7 +22,7 @@ COERCION AXIOMS
axiom Roles3.NTCo:C3 :: C3 a b = a -> F3 b -> F3 b axiom Roles3.NTCo:C3 :: C3 a b = a -> F3 b -> F3 b
axiom Roles3.NTCo:C4 :: C4 a b = a -> F4 b -> F4 b axiom Roles3.NTCo:C4 :: C4 a b = a -> F4 b -> F4 b
Dependent modules: [] Dependent modules: []
Dependent packages: [base-4.9.0.0, ghc-prim-0.4.0.0, Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
integer-gmp-1.0.0.0] integer-gmp-1.0.0.0]
==================== Typechecker ==================== ==================== Typechecker ====================
......
...@@ -11,7 +11,7 @@ COERCION AXIOMS ...@@ -11,7 +11,7 @@ COERCION AXIOMS
axiom Roles4.NTCo:C1 :: C1 a = a -> a axiom Roles4.NTCo:C1 :: C1 a = a -> a
axiom Roles4.NTCo:C3 :: C3 a = a -> Syn1 a