Ticket #85 (new defect)

Opened 3 years ago

Last modified 3 years ago

more liberal kind inference

Reported by: ross@soi.city.ac.uk Assigned to: ross@soi.city.ac.uk
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt: probably yes
Topic: Kinds

Description

see KindInference for a choice of proposals.

Change History

02/02/06 04:50:21 changed by ross@soi.city.ac.uk

  • type changed from task to defect.

02/02/06 04:53:36 changed by ross@soi.city.ac.uk

  • owner changed from ijones to ross@soi.city.ac.uk.

02/03/06 02:54:20 changed by ross@soi.city.ac.uk

  • impact set to normal.

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

  • topic set to Kinds.