Changes between Version 4 and Version 5 of ExplicitForall


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v4 v5  
    77== Compiler support == 
    88 
    9 || GHC   || [ full (!ExplicitForAll) ] || 
    10 || nhc98 || [ none ] || 
    11 || Hugs  || [ full (+98) ] || 
    12 || UHC   || [ full (none) ] || 
    13 || JHC   || [ none ] || 
    14 || LHC   || [ none ] || 
     9|| GHC   || mostly (!ExplicitForAll; still allows forall as an expression id) || 
     10|| nhc98 || none || 
     11|| Hugs  || mostly (+98; still allows forall as an expression id) || 
     12|| UHC   || mostly (none; still allows forall as an expression id) || 
     13|| JHC   || none || 
     14|| LHC   || none || 
    1515 
    1616== Description == 
    1717 
    18 ExplicitForAll enables the use of the keyword 'forall' to make a type 
     18!ExplicitForAll enables the use of the keyword 'forall' to make a type 
    1919explicitly polymorphic. Syntactically, it would mean the following 
    2020change to Haskell 98: