#9858: Typeable instances should be kind-aware -------------------------------------+------------------------------------- Reporter: dreixel | Owner: Type: bug | Status: merge Priority: highest | Milestone: 7.10.2 Component: Compiler | Version: 7.9 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | typecheck/should_fail/T9858a, | should_run/T9858b | Blocking: | Differential Revisions: Phab:D652 -------------------------------------+------------------------------------- Comment (by simonpj): Comment for comment:94. Merge to stable branch {{{ commit d8d541d85defcf3bbbddaeee8cfac70b74f47ffc Author: Iavor S. Diatchki <diatchki@galois.com> Date: Thu Apr 16 11:13:24 2015 -0700 Fixes (hopefully!) T9858 The changes are: 1. No impredicative types in `Typeable` 2. Distinguish normal tuples, from tuples of constraints.
---------------------------------------------------------------
d8d541d85defcf3bbbddaeee8cfac70b74f47ffc compiler/deSugar/DsBinds.hs | 6 +++- compiler/typecheck/TcInteract.hs | 34 +++++++++------------- testsuite/tests/typecheck/should_fail/T9858b.hs | 10 +++++++ .../tests/typecheck/should_fail/T9858b.stderr | 8 +++++ testsuite/tests/typecheck/should_fail/all.T | 1 + testsuite/tests/typecheck/should_run/T9858c.hs | 19 ++++++++++++ testsuite/tests/typecheck/should_run/T9858c.stdout | 1 + testsuite/tests/typecheck/should_run/all.T | 1 + 8 files changed, 58 insertions(+), 22 deletions(-) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9858#comment:96> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler