Ticket #28 (assigned modification)

Opened 3 years ago

Last modified 3 years ago

Require explicit quantification on all expression bound type sigatures

Reported by: ijones Assigned to: sweirich@cis.upenn.edu (accepted)
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt: maybe
Topic: Type Quantification

Description

See ExplicitQuantification.

Change History

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

  • owner changed from ijones to none.

02/07/06 17:04:05 changed by sweirich@cis.upenn.edu

  • status changed from new to assigned.
  • owner changed from none to sweirich@cis.upenn.edu.

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

  • topic set to RankNTypes.

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

  • topic changed from RankNTypes to Type Quantification.