Ticket #90 (new task)

Opened 3 years ago

Last modified 3 years ago

solve the MultiParamTypeClassDilemma

Reported by: ijones Assigned to: ijones
Priority: critical Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: large Adopt:
Topic: Class System

Description

See a description of the dilemma. This is not a proposal, but is related to a number of proposals that must be considered together:

  1. MultiParamTypeClasses
  2. FunctionalDependencies
  3. AssociatedTypes

Change History

02/15/06 19:08:07 changed by ijones

  • adopt deleted.

03/01/06 15:35:24 changed by john@galois.com

  • priority changed from major to critical.
  • topic set to Class System.