Ticket #54 (new enhancement)

Opened 3 years ago

Last modified 3 years ago

add overlapping or incoherent instances

Reported by: ijones Assigned to: none
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt: probably no
Topic: Class System

Description (Last modified by ross@soi.city.ac.uk)

see OverlappingInstances and IncoherentInstances.

Change History

01/18/06 02:40:08 changed by simonpj@microsoft.com

  • owner changed from somebody to ijones.
  • component changed from CompilerSupport to Proposal.

01/25/06 08:42:08 changed by ross@soi.city.ac.uk

  • description changed.
  • summary changed from add Overlapping Instances to add overlapping or incoherent instances.

02/07/06 16:55:16 changed by ijones

  • owner changed from ijones to none.

03/01/06 15:36:27 changed by john@galois.com

  • topic set to Class System.