diff options
author | Joachim Breitner <mail@joachim-breitner.de> | 2021-03-10 15:28:48 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2021-03-10 16:58:50 -0500 |
commit | 115cd3c85a8c38f1fe2a10d4ee515f92c96dd5a2 (patch) | |
tree | 19214707fa15f127d05ae515c74cff7e85776a7c /testsuite/tests/typecheck/should_fail/T12785b.stderr | |
parent | 30ccf9ed1f592531dac9f3d750278fac6303c3e4 (diff) | |
download | haskell-115cd3c85a8c38f1fe2a10d4ee515f92c96dd5a2.tar.gz |
Use GHC2021 as default language
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12785b.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T12785b.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12785b.stderr b/testsuite/tests/typecheck/should_fail/T12785b.stderr index 85d7361421..14ce110c0d 100644 --- a/testsuite/tests/typecheck/should_fail/T12785b.stderr +++ b/testsuite/tests/typecheck/should_fail/T12785b.stderr @@ -1,5 +1,5 @@ -T12785b.hs:29:65: error: +T12785b.hs:30:65: error: • Could not deduce: Payload ('S n) (Payload n s1) ~ s arising from a use of ‘SBranchX’ from the context: m ~ 'S n @@ -7,13 +7,13 @@ T12785b.hs:29:65: error: Branch :: forall a (n :: Peano). a -> HTree n (HTree ('S n) a) -> HTree ('S n) a, in an equation for ‘nest’ - at T12785b.hs:29:7-51 + at T12785b.hs:30:7-51 ‘s’ is a rigid type variable bound by a pattern with constructor: Hide :: forall {a} (n :: Peano) (f :: a -> *) (s :: HTree n a). STree n f s -> Hidden n f, in an equation for ‘nest’ - at T12785b.hs:29:7-12 + at T12785b.hs:30:7-12 • In the second argument of ‘($)’, namely ‘a `SBranchX` tr’ In the expression: Hide $ a `SBranchX` tr In an equation for ‘nest’: @@ -21,7 +21,7 @@ T12785b.hs:29:65: error: = Hide $ a `SBranchX` tr • Relevant bindings include tr :: STree n (STree ('S n) (STree ('S ('S n)) f)) s1 - (bound at T12785b.hs:29:49) - a :: STree ('S m) f s (bound at T12785b.hs:29:12) + (bound at T12785b.hs:30:49) + a :: STree ('S m) f s (bound at T12785b.hs:30:12) nest :: HTree m (Hidden ('S m) f) -> Hidden m (STree ('S m) f) - (bound at T12785b.hs:27:1) + (bound at T12785b.hs:28:1) |