Opened 13 years ago

Closed 13 years ago

Last modified 4 years ago

#40 closed task (wontfix)

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

Reported by: ijones Owned by: ijones
Priority: normal Milestone:
Version: Keywords:
Cc: Meta Owner:
State: discussion Section: N/A or multiple
Related Tickets:

Description (last modified by ross@…)

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

comment:1 Changed 13 years ago by ijones

Description: modified (diff)
Summary: add proposal(s) / flesh out info about incoherent instancesadd proposal(s) / flesh out info about the Following

comment:2 Changed 13 years ago by ijones

Description: modified (diff)
Summary: add proposal(s) / flesh out info about the Followingadd proposal(s) / flesh out info about the ollowing

comment:3 Changed 13 years ago by ijones

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

comment:4 Changed 13 years ago by

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.

comment:5 Changed 13 years ago by ross@…

Description: modified (diff)

comment:6 Changed 13 years ago by ijones@…

topic: Other

comment:7 Changed 13 years ago by ijones

topic: OtherUnclassfied

comment:8 Changed 13 years ago by ijones

Resolution: wontfix
Status: newclosed

comment:9 Changed 4 years ago by Herbert Valerio Riedel

Priority: majornormal

Set default priority (as this confuses Trac otherwise)

Note: See TracTickets for help on using tickets.