Changes between Version 7 and Version 8 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 6:07:58 PM (5 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v7 v8  
    77== Compiler support ==
    88
    9 || GHC   || mostly (!ExplicitForAll; still allows forall as an expression id) ||
     9|| GHC   || mostly (!ExplicitForAll; still allows forall as an expression id; allows superfluous vars to be quantified) ||
    1010|| nhc98 || none ||
    1111|| Hugs  || mostly (+98; still allows forall as an expression id) ||
    12 || UHC   || mostly (none; still allows forall as an expression id) ||
     12|| UHC   || mostly (none; still allows forall as an expression id; allows superfluous vars to be quantified) ||
    1313|| JHC   || none ||
    1414|| LHC   || none ||