Opened 8 years ago

Closed 8 years ago

Last modified 6 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: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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 8 years ago by Lemmih

  • Resolution set to fixed
  • Status changed from new to closed

comment:2 Changed 6 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:3 Changed 6 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple
Note: See TracTickets for help on using tickets.