#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