#12466: Typechecker regression: Inaccessible code in a type expected by the context -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.2.1 Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Plus this {{{ commit 5eeabe250a1de456f70af07bd3f507a32cb8e10e Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Mon Sep 12 22:21:15 2016 +0100 Test wibbles for commit 03541cba I must have failed to validate properly, sorry. These testsuite wibbles belong with commit 03541cbae50f0d1cdf99120ab88698f29a278159 Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Fri Sep 9 17:42:42 2016 +0100 Be less picky about reporing inaccessible code testsuite/tests/typecheck/should_fail/FDsFromGivens.hs | 5 ++++- testsuite/tests/typecheck/should_fail/FDsFromGivens.stderr | 4 ++++ testsuite/tests/typecheck/should_fail/T10715.hs | 4 +++- testsuite/tests/typecheck/should_fail/T10715.stderr | 4 ++++ testsuite/tests/typecheck/should_fail/T8392a.hs | 2 ++ testsuite/tests/typecheck/should_fail/T8392a.stderr | 4 ++++ 6 files changed, 21 insertions(+), 2 deletions(-) }}} This should, I hope, unglue the log-jam of #12220 and #12533. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12466#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler