#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

Reply via email to