Changes between Version 6 and Version 7 of PolymorphicComponents


Ignore:
Timestamp:
Jan 11, 2006 5:24:50 PM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicComponents

    v6 v7  
    66== Brief Explanation == 
    77 
    8 Data constructor arguments may have polymorphic types (marked with `forall`) 
     8Arguments of data constructors may have polymorphic types (marked with `forall`) 
    99and contexts constraining universally quantified type variables, e.g. 
    1010{{{ 
     
    3434== References == 
    3535 * [http://www.cse.ogi.edu/~mpj/pubs/haskwork95.html From Hindley-Milner Types to First-Class Structures] by Mark P. Jones, Haskell Workshop, 1995. 
    36  * distinguish from ExistentialQuantification 
     36 * distinguish from ExistentialQuantification (currently also marked with `forall`, but before the data constructor). 
    3737 
    3838== Pros ==