#7525: Compiler panic with ill-typed code using implicit parameters
-------------------------------+--------------------------------------------
Reporter: parcs | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.7 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Compile-time crash | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Comment(by simonpj@…):
commit 1d07cc04ebcaa2df69824aeb1406557946e6dd19
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Mon Dec 24 09:46:55 2012 +0000
Remember to zonk when taking free variables in simpl_top
Forgetting this meant that we were upating the same
meta-tyvar twice. Fixes Trac #7525.
compiler/typecheck/TcSMonad.lhs | 4 ++++
compiler/typecheck/TcSimplify.lhs | 24 ++++++++++++------------
2 files changed, 16 insertions(+), 12 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7525#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
