Breakpoint mechanism crashes when there's a type error
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.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.5 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | Unknown |
| Architecture | Unknown |