Ticket #17 (new modification)

Opened 3 years ago

Last modified 3 years ago

relax restriction on signatures of class methods

Reported by: ijones Assigned to: chak@cse.unsw.edu.au
Priority: minor Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: minor Adopt: maybe
Topic: Class System

Description

See ClassMethodTypes.

Change History

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

  • owner changed from ijones to none.

01/27/06 21:25:06 changed by chak@cse.unsw.edu.au

  • owner changed from none to chak@cse.unsw.edu.au.

02/02/06 04:44:26 changed by ross@soi.city.ac.uk

  • 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.

03/01/06 15:43:35 changed by ijones@galois.com

  • topic set to Class System.

03/01/06 16:24:05 changed by john@galois.com

  • priority changed from major to minor.