Ticket #31 (new enhancement)

Opened 3 years ago

Last modified 3 years ago

add Flexible Contexts

Reported by: ijones Assigned to: ravi@bluespec.com
Priority: minor Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: major Adopt: probably yes
Topic: Class System

Description

See FlexibleContexts.

Change History

01/06/06 15:01:41 changed by ijones

  • owner changed from ijones to none.

01/18/06 20:33:56 changed by ravi@bluespec.com

  • owner changed from none to ravi@bluespec.com.

02/02/06 04:35:16 changed by ross@soi.city.ac.uk

  • adopt changed from maybe to probably yes.

02/03/06 03:42:26 changed by ross@soi.city.ac.uk

  • impact changed from large to major.

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

  • priority changed from major to minor.

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

  • topic set to Class System.