Changes between Version 9 and Version 10 of ExplicitForall


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v9 v10  
    99|| GHC   || mostly (!ExplicitForAll; still allows forall as an expression id; allows superfluous vars to be quantified) || 
    1010|| nhc98 || none || 
    11 || Hugs  || mostly (+98; still allows forall as an expression id) || 
    12 || UHC   || mostly (none; still allows forall as an expression id; allows superfluous vars to be quantified) || 
     11|| Hugs  || mostly (+98; still allows forall as an expression id; doesn't allow 0 tyvars to be quantified) || 
     12|| UHC   || mostly (none; still allows forall as an expression id; allows superfluous vars to be quantified; doesn't allow 0 tyvars to be quantified) || 
    1313|| JHC   || none || 
    1414|| LHC   || none || 
     
    6060<pre> 
    6161<span style="background: #bfb"> | forall | foreign | if | import | in | infix | infixl</span> 
     62</pre> 
     63</div> 
     64}}} 
     65 
     66----- 
     67 
     68In [http://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-220003 Section 3]: 
     69 
     70Replace: 
     71{{{ 
     72#!html 
     73<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px"> 
     74<pre> 
     75<span style="background: #fbb">exp  →  infixexp :: [context =>] type  (expression type signature)</span> 
     76</pre> 
     77</div> 
     78}}} 
     79with: 
     80{{{ 
     81#!html 
     82<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px"> 
     83<pre> 
     84<span style="background: #bfb">exp  →  infixexp :: [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .] [context =>] type  (expression type signature, k ≥ 0)</span> 
    6285</pre> 
    6386</div>