Ticket #60 (new enhancement)

Opened 3 years ago

Last modified 3 years ago

add RankNTypes or Rank2Types

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

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

See:

One is needed; we need to decide which.

Change History

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

  • owner changed from ijones to none.

01/18/06 20:36:41 changed by ravi@bluespec.com

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

01/27/06 01:46:46 changed by ross@soi.city.ac.uk

  • description changed.

02/02/06 04:33:56 changed by ross@soi.city.ac.uk

  • adopt changed from maybe to probably yes.
  • description changed.

02/03/06 03:38:56 changed by ross@soi.city.ac.uk

  • impact changed from normal to large.

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

  • topic set to RankNTypes.

03/03/06 16:06:39 changed by ijones

  • topic changed from RankNTypes to Type Quantification.