Changes between Version 3 and Version 4 of Ticket #29

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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #29 – description

    v3 v4  
    1515EDIT: Here is what should go instead: 
    1616 
    17 * ExistentialQuantification: Allow forall-quantified data constructors. 
    18 * Rank2Types, RankNTypes, PolymorphicComponents, LiberalTypeSynonyms: Allow forall-quantified types. 
     17 * ExistentialQuantification: Allow forall-quantified data constructors.[[BR]] 
     18 * Rank2Types, RankNTypes, PolymorphicComponents, LiberalTypeSynonyms: Allow forall-quantified types.[[BR]] 
    1919 
    2020See [http://nibrofun.blogspot.com/2009/06/whats-in-forall.html] for why this has changed.