#8644: 'Untouchable' error with constraint variable in rank-2 type -------------------------------------------------+------------------------- Reporter: sbarclay | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler (Type checker) | Milestone: Resolution: fixed | Version: 7.7 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC rejects valid program | Architecture: Test Case: | Unknown/Multiple typecheck/should_compile/T8644 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by simonpj): * status: new => closed * testcase: => typecheck/should_compile/T8644 * resolution: => fixed Comment: Great catch, thank you! This showed (in a nice simple example) that the handling of equality floating was inadequate. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8644#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler