[GHC] #763: Breakpoint mechanism crashes when there's a type error

[GHC]

#763: Breakpoint mechanism crashes when there's a type error
-------------------------+--------------------------------------------------
    Reporter:  simonpj   |        Owner:  lemmih 
        Type:  bug       |       Status:  new    
    Priority:  normal    |    Milestone:         
   Component:  Compiler  |      Version:  6.5    
    Severity:  normal    |     Keywords:         
          Os:  Unknown   |   Difficulty:  Unknown
Architecture:  Unknown   |  
-------------------------+--------------------------------------------------
Test tcfail032 is failing thus;
 {{{
 - tcfail032.hs:14:7:
 -     Inferred type is less polymorphic than expected
 -       Quantified type variable `a' is mentioned in the environment:
 -       x :: a -> Int (bound at tcfail032.hs:14:2)
 -     In the expression: x
 -     In the expression: (x :: (Eq a) => a -> Int)
 -     In the definition of `f': f x = (x :: (Eq a) => a -> Int)
 --- 1,6 ----
 + ghc-6.5: panic! (the 'impossible' happened)
 +   (GHC version 6.5 for i386-unknown-linux):
 +       find_thing Identifier `breakpointJump{v 011}'
 }}}

 Something to do with the new breakpoint mechanism.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/763>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler