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>