diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-11-11 10:10:22 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-11-14 11:30:20 -0500 |
commit | b06b1858f2765f27da2914bd8d17464eeb13d20c (patch) | |
tree | 1d9888d0e7dc5c9b6f6dab89b567fd131c20434d /testsuite/tests/dependent/should_compile | |
parent | dd49b3f079a4ff59fd9ed0a8ea5585f0fcc0e56a (diff) | |
download | haskell-b06b1858f2765f27da2914bd8d17464eeb13d20c.tar.gz |
base: Bump version to 4.14.0.0
Metric Increase:
T4801
Diffstat (limited to 'testsuite/tests/dependent/should_compile')
-rw-r--r-- | testsuite/tests/dependent/should_compile/T14729.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/dependent/should_compile/T15743.stderr | 2 | ||||
-rw-r--r-- | testsuite/tests/dependent/should_compile/T15743e.stderr | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/dependent/should_compile/T14729.stderr b/testsuite/tests/dependent/should_compile/T14729.stderr index f09d88312c..53f3862f87 100644 --- a/testsuite/tests/dependent/should_compile/T14729.stderr +++ b/testsuite/tests/dependent/should_compile/T14729.stderr @@ -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.6.1, +Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, integer-gmp-1.0.2.0] diff --git a/testsuite/tests/dependent/should_compile/T15743.stderr b/testsuite/tests/dependent/should_compile/T15743.stderr index be0bc523f5..1212fc12dc 100644 --- a/testsuite/tests/dependent/should_compile/T15743.stderr +++ b/testsuite/tests/dependent/should_compile/T15743.stderr @@ -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.6.1, +Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, integer-gmp-1.0.2.0] diff --git a/testsuite/tests/dependent/should_compile/T15743e.stderr b/testsuite/tests/dependent/should_compile/T15743e.stderr index 2bc8de1954..048cbe57ab 100644 --- a/testsuite/tests/dependent/should_compile/T15743e.stderr +++ b/testsuite/tests/dependent/should_compile/T15743e.stderr @@ -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.6.1, +Dependent packages: [base-4.14.0.0, ghc-prim-0.6.1, integer-gmp-1.0.2.0] |