Changes between Version 2 and Version 3 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 3:08:05 PM (5 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v2 v3  
    77== Compiler support ==
    88
    9 || GHC   || [ full (Rank2Types etc) ] ||
     9|| GHC   || [ full (ExplicitForAll) ] ||
    1010|| nhc98 || [ none ] ||
    1111|| Hugs  || [ full (+98) ] ||
     
    1616== Description ==
    1717
    18 ExplicitForall enables the use of the keyword 'forall' to make a type
     18ExplicitForAll enables the use of the keyword 'forall' to make a type
    1919explicitly polymorphic. Syntactically, it would mean the following
    2020change to Haskell 98: