Ticket #40 (closed task: wontfix)

Opened 3 years ago

Last modified 3 years ago

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

Reported by: ijones Assigned to: ijones
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt:
Topic: Unclassfied

Description (Last modified by ross@soi.city.ac.uk)

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:

Change History

12/16/05 17:03:18 changed by ijones

  • description changed.
  • summary changed from add proposal(s) / flesh out info about incoherent instances to add proposal(s) / flesh out info about the Following.

12/16/05 17:18:22 changed by ijones

  • description changed.
  • summary changed from add proposal(s) / flesh out info about the Following to add proposal(s) / flesh out info about the ollowing.

01/06/06 15:10:04 changed by ijones

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

01/31/06 05:22:25 changed by guest

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.

02/02/06 04:49:22 changed by ross@soi.city.ac.uk

  • description changed.

03/01/06 15:46:22 changed by ijones@galois.com

  • topic set to Other.

03/03/06 16:06:01 changed by ijones

  • topic changed from Other to Unclassfied.

03/07/06 11:46:26 changed by ijones

  • status changed from new to closed.
  • resolution set to wontfix.