Opened 12 years ago

Last modified 2 years ago

#28 new modification

Require explicit quantification on all expression bound type sigatures

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

Description

Change History (7)

comment:1 Changed 12 years ago by ijones

Owner: changed from ijones to none

comment:2 Changed 12 years ago by sweirich@…

Owner: changed from none to sweirich@…
Status: newassigned

comment:3 Changed 12 years ago by ijones@…

topic: RankNTypes

comment:4 Changed 12 years ago by ijones

topic: RankNTypesType Quantification

comment:5 Changed 2 years ago by Herbert Valerio Riedel

Milestone:

moving non-milestoned many year old legacy tickets out of the way

comment:6 Changed 2 years ago by Herbert Valerio Riedel

Priority: majornormal

Set default priority (as this confuses Trac otherwise)

comment:7 Changed 2 years ago by Herbert Valerio Riedel

Owner: sweirich@… deleted
Status: assignednew

remove owners from legacy tickets

Note: See TracTickets for help on using tickets.