diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-25 17:22:44 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-27 14:00:11 -0400 |
| commit | eedec53df8bf030b36cdd1fcfd1ff06041bc46fd (patch) | |
| tree | 5f02df4db84993513148f54f0bfe983beb242838 /testsuite/tests/dependent | |
| parent | 9ad51bc9d2ad9168abad271f715ce73d3562218a (diff) | |
| download | haskell-eedec53df8bf030b36cdd1fcfd1ff06041bc46fd.tar.gz | |
Version bump: base-4.16 (#18712)
Also bumps upper bounds on base in boot libraries (incl. submodules).
Diffstat (limited to 'testsuite/tests/dependent')
| -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 | 8 |
3 files changed, 7 insertions, 5 deletions
diff --git a/testsuite/tests/dependent/should_compile/T14729.stderr b/testsuite/tests/dependent/should_compile/T14729.stderr index 7ea3af9ba9..f3e8a1fdf9 100644 --- a/testsuite/tests/dependent/should_compile/T14729.stderr +++ b/testsuite/tests/dependent/should_compile/T14729.stderr @@ -11,4 +11,4 @@ COERCION AXIOMS FAMILY INSTANCES type instance F Int = Bool -- Defined at T14729.hs:10:15 Dependent modules: [] -Dependent packages: [base-4.15.0.0, ghc-bignum-1.0, ghc-prim-0.7.0] +Dependent packages: [base-4.16.0.0, ghc-bignum-1.0, ghc-prim-0.7.0] diff --git a/testsuite/tests/dependent/should_compile/T15743.stderr b/testsuite/tests/dependent/should_compile/T15743.stderr index 4fa3024e4a..4aeecbcc23 100644 --- a/testsuite/tests/dependent/should_compile/T15743.stderr +++ b/testsuite/tests/dependent/should_compile/T15743.stderr @@ -3,4 +3,4 @@ TYPE CONSTRUCTORS forall {k1} k2 (k3 :: k2). Proxy k3 -> k1 -> k2 -> * roles nominal nominal nominal phantom phantom phantom Dependent modules: [] -Dependent packages: [base-4.15.0.0, ghc-bignum-1.0, ghc-prim-0.7.0] +Dependent packages: [base-4.16.0.0, ghc-bignum-1.0, ghc-prim-0.7.0] diff --git a/testsuite/tests/dependent/should_compile/T15743e.stderr b/testsuite/tests/dependent/should_compile/T15743e.stderr index dc10c36337..01e20c63b9 100644 --- a/testsuite/tests/dependent/should_compile/T15743e.stderr +++ b/testsuite/tests/dependent/should_compile/T15743e.stderr @@ -1,6 +1,7 @@ TYPE CONSTRUCTORS data type T{14} :: - forall {k1} {k2} {k3} (k4 :: k2) k5. forall k6 -> + forall {k1} {k2} {k3} (k4 :: k2) k5. + forall k6 -> k6 -> Proxy k4 -> (k3 -> *) @@ -21,7 +22,8 @@ TYPE CONSTRUCTORS nominal phantom data type T2{14} :: - forall {k1} {k2} (k3 :: k2) k7. forall k4 -> + forall {k1} {k2} (k3 :: k2) k7. + forall k4 -> k4 -> Proxy k3 -> (k7 -> *) @@ -52,4 +54,4 @@ DATA CONSTRUCTORS (d :: Proxy k5) (e :: Proxy k7). f c -> T k8 a b f c d e Dependent modules: [] -Dependent packages: [base-4.15.0.0, ghc-bignum-1.0, ghc-prim-0.7.0] +Dependent packages: [base-4.16.0.0, ghc-bignum-1.0, ghc-prim-0.7.0] |