Changes between Version 7 and Version 8 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 6:07:58 PM (3 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 ||