Ticket #21 (new task)

Opened 3 years ago

Last modified 3 years ago

improve defaulting rules

Reported by: ijones Assigned to: malcolm.wallace@cs.york.ac.uk
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt: maybe
Topic: Type System

Description (Last modified by malcolm.wallace@cs.york.ac.uk)

see proposal on this page: Defaulting.

Change History

01/06/06 15:08:18 changed by ijones

  • owner changed from ijones to none.

01/24/06 07:15:53 changed by malcolm.wallace@cs.york.ac.uk

  • owner changed from none to malcolm.wallace@cs.york.ac.uk.

02/22/06 08:37:55 changed by malcolm.wallace@cs.york.ac.uk

  • adopt set to maybe.
  • description changed.
  • summary changed from add defaulting proposals to improve defaulting rules.

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

  • topic set to Type Inference.

03/01/06 15:47:00 changed by ijones@galois.com

  • topic changed from Type Inference to Type System.