Changes between Version 2 and Version 3 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 3:08:05 PM (4 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: