Ticket #3973 (closed proposal: fixed)

Opened 3 years ago

Last modified 3 years ago

Derive Typeable and Eq instances for TMVar, TChan (and TArray)

Reported by: basvandijk Owned by: simonmar
Priority: normal Milestone: Not GHC
Component: libraries (other) Version: 6.12.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

I would like to propose deriving Typeable and Eq instances for TMVar and TChan because their MVar counterparts have them also.

The included patch bundle adds them using the DeriveDataTypeable language extension.

There are two extra patches in the bundle that derive a Typeable instance for TArray and derive an Eq instance for TArray. These are separate patches because I'm not sure about the latter.

Attachments

typeable_and_eq_instances_for_stm.dpatch Download (5.4 KB) - added by basvandijk 3 years ago.

Change History

Changed 3 years ago by basvandijk

Changed 3 years ago by basvandijk

Changed 3 years ago by simonmar

  • owner set to simonmar

Changed 3 years ago by igloo

  • milestone set to Not GHC

Changed 3 years ago by simonmar

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

I pushed all these. The Eq instance for TArray seems like the only sensible one to me.

Note: See TracTickets for help on using tickets.