diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-05-21 11:32:59 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-06-17 15:43:31 -0400 |
| commit | 7faa4509cd7dbc6e2f873e4997e8888bd6ec3507 (patch) | |
| tree | 58dc21af1746f8e5d8cb4b213f8a08e87f3159a3 /testsuite/tests/dependent | |
| parent | eb8115a8c4cbc842b66798480fefc7ab64d31931 (diff) | |
| download | haskell-7faa4509cd7dbc6e2f873e4997e8888bd6ec3507.tar.gz | |
base: Bump to 4.15.0.0
Diffstat (limited to 'testsuite/tests/dependent')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T14729.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T15743.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T15743e.stderr | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/dependent/should_compile/T14729.stderr b/testsuite/tests/dependent/should_compile/T14729.stderr index 74f04b591f..4c31287941 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.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.2.0] +Dependent packages: [base-4.15.0.0, ghc-prim-0.6.1, + integer-gmp-1.0.3.0] diff --git a/testsuite/tests/dependent/should_compile/T15743.stderr b/testsuite/tests/dependent/should_compile/T15743.stderr index 1212fc12dc..acdb531ba8 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.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.2.0] +Dependent packages: [base-4.15.0.0, ghc-prim-0.6.1, + integer-gmp-1.0.3.0] diff --git a/testsuite/tests/dependent/should_compile/T15743e.stderr b/testsuite/tests/dependent/should_compile/T15743e.stderr index 048cbe57ab..524b4831ef 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.14.0.0, ghc-prim-0.6.1, - integer-gmp-1.0.2.0] +Dependent packages: [base-4.15.0.0, ghc-prim-0.6.1, + integer-gmp-1.0.3.0] |