Opened 11 years ago

Closed 11 years ago

Last modified 9 years ago

#763 closed bug (fixed)

Breakpoint mechanism crashes when there's a type error

Reported by: simonpj Owned by: lemmih
Priority: normal Milestone:
Component: Compiler Version: 6.5
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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.

Change History (3)

comment:1 Changed 11 years ago by Lemmih

Resolution: fixed
Status: newclosed

comment:2 Changed 9 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:3 Changed 9 years ago by simonmar

Operating System: UnknownUnknown/Multiple
Note: See TracTickets for help on using tickets.