Changes between Version 1 and Version 3 of Ticket #29

Show
Ignore:
Timestamp:
06/09/09 16:11:13 (4 years ago)
Author:
nibro
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #29

    • Property status changed from new to assigned

  • Ticket #29 – description

    v1 v3  
    11Currently the parser treats all the forall-enabling extensions as equivalent. As long as one of them is on, to allow the forall keyword, then all uses of that keyword are allowed. We need checks on where they are allowed. 
     2 
     3EDIT: The following is no longer valid: 
    24 
    35First we have the data constructor uses.[[BR]] 
    … …  
    1113* ImpredicativeTypes: Allow forall-quantified types as arguments to type constructors. 
    1214 
     15EDIT: Here is what should go instead: 
     16 
     17* ExistentialQuantification: Allow forall-quantified data constructors. 
     18* Rank2Types, RankNTypes, PolymorphicComponents, LiberalTypeSynonyms: Allow forall-quantified types. 
     19 
     20See [http://nibrofun.blogspot.com/2009/06/whats-in-forall.html] for why this has changed. 
     21 
    1322This is part of ticket #14.