#7238: class methods with associated equality constraints panic
-------------------------------+--------------------------------------------
Reporter: dmwit | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.1
Keywords: | Os: Linux
Architecture: x86_64 (amd64) | Failure: Compile-time crash
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
-------------------------------+--------------------------------------------
Comment(by simonpj@…):
commit 7d83fdea229b940ae198ddc5c179ac449defd2ef
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Sat Sep 15 00:12:16 2012 +0100
Bind "given" evidence to a variable, always
This was being done in xCtFlavor, but not in rewriteCtFlavor,
resulting in Trac #7238.
See Note [Bind new Givens immediately] in TcSMonad and
and Note [Coercion evidence terms] in TcEvidence.
compiler/typecheck/TcEvidence.lhs | 29 ++++++++++++++---------------
compiler/typecheck/TcSMonad.lhs | 26 +++++++++++++++++---------
2 files changed, 31 insertions(+), 24 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7238#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
