[GHC] #8644: 'Untouchable' error with constraint variable in rank-2 type
GHC
ghc-devs at haskell.org
Fri Jan 3 16:17:54 UTC 2014
#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
More information about the ghc-tickets
mailing list