Changes between Version 6 and Version 7 of PolymorphicComponents


Ignore:
Timestamp:
Jan 11, 2006 5:24:50 PM (10 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 ==