Opened 10 years ago

Closed 9 years ago

#3973 closed proposal (fixed)

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 Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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 (1)

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

Download all attachments as: .zip

Change History (5)

Changed 10 years ago by basvandijk

comment:2 Changed 9 years ago by simonmar

Owner: set to simonmar

comment:3 Changed 9 years ago by igloo

Milestone: Not GHC

comment:4 Changed 9 years ago by simonmar

Resolution: fixed
Status: newclosed

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.