Changes between Version 4 and Version 5 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 5:04:36 PM (5 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: