Ticket #22 (new task)

Opened 3 years ago

Last modified 3 years ago

create DerivedInstances proposal

Reported by: ijones Assigned to: none
Priority: minor Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt:
Topic: Class System

Description (Last modified by ijones)

There are a number of issues relating to DerivedInstances. Create concrete proposal(s) for them. See also NewtypeDeriving.

Change History

12/16/05 14:49:53 changed by ijones

  • description changed.

01/06/06 15:08:26 changed by ijones

  • owner changed from ijones to none.

03/01/06 15:26:41 changed by ijones@galois.com

  • topic set to Class System.

03/01/06 16:24:17 changed by john@galois.com

  • priority changed from major to minor.