Changes between Version 4 and Version 5 of Ticket #29

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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #29 – description

    v4 v5  
    44 
    55First we have the data constructor uses.[[BR]] 
    6 * ExistentialQuantification: Allow forall-quantified data constructors.[[BR]] 
    7 * PolymorphicComponents: Allow data constructor declarations to have forall-quantified arguments. 
     6 * ExistentialQuantification: Allow forall-quantified data constructors.[[BR]] 
     7 * PolymorphicComponents: Allow data constructor declarations to have forall-quantified arguments. 
    88 
    99Second we have the actual type uses:[[BR]] 
    10 * LiberalTypeSynonyms: Allow forall-quantified types in type synonym declarations, as well as applying type synonyms to forall-quantified types.[[BR]] 
    11 * Rank2Types: Allow forall-quantified types as arguments to functions, i.e. on the left of a function arrow.[[BR]] 
    12 * RankNTypes: Allow forall-quantified types anywhere in actual types, except as arguments to type synonyms (requires LiberalTypeSynonyms).[[BR]] 
    13 * ImpredicativeTypes: Allow forall-quantified types as arguments to type constructors. 
     10 * LiberalTypeSynonyms: Allow forall-quantified types in type synonym declarations, as well as applying type synonyms to forall-quantified types.[[BR]] 
     11 * Rank2Types: Allow forall-quantified types as arguments to functions, i.e. on the left of a function arrow.[[BR]] 
     12 * RankNTypes: Allow forall-quantified types anywhere in actual types, except as arguments to type synonyms (requires LiberalTypeSynonyms).[[BR]] 
     13 * ImpredicativeTypes: Allow forall-quantified types as arguments to type constructors. 
    1414 
    1515EDIT: Here is what should go instead: