diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-01-22 12:57:08 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-01-22 12:57:09 -0500 |
| commit | 560bc289fc6a5b308f985d4c84e0cdf1f88c55fd (patch) | |
| tree | 383f16f19d1b745bb8db75c2d9d4f68bee0beb4a /testsuite/tests/typecheck/should_fail/T12785b.stderr | |
| parent | f9ccad236fa6042a3abbb655129f47fe9dadceaf (diff) | |
| download | haskell-560bc289fc6a5b308f985d4c84e0cdf1f88c55fd.tar.gz | |
Revert "Remove unnecessary isTyVar tests in TcType"
Summary:
This reverts commit a0899b2f66a4102a7cf21569889381446ce63833. This is because
removing these checks prompts panics in at least two different programs
reported in #12785.
Test Plan: ./validate
Reviewers: simonpj, goldfire, bgamari, austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2931
GHC Trac Issues: #12785
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12785b.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T12785b.stderr | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12785b.stderr b/testsuite/tests/typecheck/should_fail/T12785b.stderr new file mode 100644 index 0000000000..0290cfe4dd --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T12785b.stderr @@ -0,0 +1,26 @@ + +T12785b.hs:29:63: error: + • Could not deduce: Payload ('S n1) (Payload n1 s1) ~ s + arising from a use of ‘SBranchX’ + from the context: m1 ~ 'S n1 + bound by a pattern with constructor: + 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 + • In the second argument of ‘($)’, namely ‘a `SBranchX` tr’ + In the expression: Hide $ a `SBranchX` tr + In an equation for ‘nest’: + nest (Hide a `Branch` (nest . hmap nest -> Hide tr)) + = Hide $ a `SBranchX` tr + • Relevant bindings include + tr :: STree + n1 + (HTree ('S n1) (HTree ('S ('S n1)) a)) + (STree ('S n1) (HTree ('S ('S n1)) a) (STree ('S ('S n1)) a f)) + s1 + (bound at T12785b.hs:29:49) + a :: STree ('S m1) a f s (bound at T12785b.hs:29:12) + nest :: HTree m1 (Hidden ('S m1) f) + -> Hidden m1 (STree ('S m1) a f) + (bound at T12785b.hs:27:1) |