Ticket #17 (new modification)

Opened 6 years ago

Last modified 6 years ago

relax restriction on signatures of class methods

Reported by: ijones Owned by: chak@…
Milestone: Keywords:
Cc: Section:
State:

Description

See ClassMethodTypes.

Change History

Changed 6 years ago by ijones

  • owner changed from ijones to none

Changed 6 years ago by chak@…

  • owner changed from none to chak@…

Changed 6 years ago by ross@…

  • adopt changed from probably yes to maybe
  • summary changed from relax restriction that the signatures of methods in a class may contain constraints, but these constraints must not mention the argument of the type class to relax restriction on signatures of class methods

Changed 6 years ago by ijones@…

  • topic set to Class System

Changed 6 years ago by john@…

  • priority changed from major to minor
Note: See TracTickets for help on using tickets.