Ticket #3166 (closed bug: fixed)

Opened 4 years ago

Last modified 4 years ago

recompilation checking too optimistic about infix ops

Reported by: roland Owned by: simonmar
Priority: high Milestone: 6.12.1
Component: Compiler Version: 6.10.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Easy (less than 1 hour)
Test Case: Blocked By:
Blocking: Related Tickets:

Description

Changing the infix declaration of an operator, e.g. from infixl to infixr, doesn't trigger recompilation of dependent modules.

This behavior can be observed for type classes, type synonyms, and constants, but not for data and type constructors.

Change History

Changed 4 years ago by simonmar

  • priority changed from normal to high
  • difficulty set to Easy (1 hr)
  • milestone set to 6.12.1

This should be pretty easy to fix.

Changed 4 years ago by simonmar

I can replicate the problem for type classes and type synonyms, but what do you mean by "constants"?

Changed 4 years ago by simonmar

  • owner set to simonmar

Changed 4 years ago by simonmar

Fixed, for type classes and synonyms: 

Tue Apr 21 06:56:24 PDT 2009  Simon Marlow <marlowsd@gmail.com>
 * FIX #3166: include the fixity of classes and type synonyms in their fingerprints

Changed 4 years ago by simonmar

  • status changed from new to closed
  • resolution set to fixed

No response from submitter; I'm assuming this is complete.

Changed 4 years ago by simonmar

  • difficulty changed from Easy (1 hr) to Easy (less than 1 hour)
Note: See TracTickets for help on using tickets.