add proposal(s) / flesh out info about the following

The following either have no info, unclear info, or no clear proposal. As these are fleshed out, please remove from list by editing this bug:

• IncoherentInstances
• LibraryVersioning
• NewLibraryCandidates
• PartialTypeSigs

changed weight to 5

added Trac import task labels

changed title from add proposal(s) / flesh out info about incoherent instances to add proposal(s) / flesh out info about the Following

changed the description

changed title from add proposal(s) / flesh out info about the Following to add proposal(s) / flesh out info about the ollowing

changed the description

changed title from add proposal(s) / flesh out info about the ollowing to add proposal(s) / flesh out info about the following

A further alternative is to restrict the required information used for kind inference to the places that define types: type abbreviations, newtype and data declarations; this should be augmented with kind annotations.

Rationale: this permits a compiler not to check every single type annotation of a program to resolve kinds, but the kind annotations would enable the user to help out when necessary. The restriction to type-defining places is analogous to the way type ambiguity at value level is treated.

changed the description

closed

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedWon'tFix

Set default priority (as this confuses Trac otherwise)