Changes between Version 11 and Version 12 of ExplicitForall


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v11 v12  
    128128-----
    129129
     130In [http://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-620004 Section 4]:
     131
     132Replace:
     133{{{
     134#!html
     135<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     136<pre>
     137<span style="background: #fbb">gendecl  →  vars :: [context =>] type  (type signature)</span>
     138</pre>
     139</div>
     140}}}
     141with:
     142{{{
     143#!html
     144<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
     145<pre>
     146<span style="background: #bfb">gendecl  →  vars :: [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .] [context =>] type  (type signature, k ≥ 0)</span>
     147</pre>
     148</div>
     149}}}
     150
     151-----
     152
    130153In [http://www.haskell.org/onlinereport/haskell2010/haskellch4.html#dx10-65031 Section 4.1.2]:
    131154
     
    154177variables may be quantified. The scope of the quantifier extends as far to the right as possible.
    155178For example, the type expression <span style="background: #bfb">a -> a</span> denotes the type <span style="background: #bfb">∀ a . a → a</span>. Quantifying the type variables is
    156 optional. For example, the type expression <span style="background: #bfb">a -> a</span> also denotes the type <span style="background: #bfb">∀ a . a → a</span>.
     179optional. For example, the type expression <span style="background: #bfb">a -> a</span> also denotes the type <span style="background: #bfb">∀ a . a → a</span>. For convenience, we
     180write <span style="background: #bfb">forall vs . t</span> even if there is no <span style="background: #bfb">forall vs .</span>.
     181</pre>
     182</div>
     183}}}
     184
     185-----
     186
     187In [http://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-760004.3.1 Section 4.3.1]:
     188
     189Replace:
     190{{{
     191#!html
     192<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     193<pre>
     194for which there is an explicit type signature <span style="background: #fbb">v<span style="vertical-align: sub">i</span> :: cx<span style="vertical-align: sub">i</span> => t<span style="vertical-align: sub">i</span></span> in <span style="background: #fbb">cdecls</span>.
     195</pre>
     196</div>
     197}}}
     198with:
     199{{{
     200#!html
     201<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
     202<pre>
     203for which there is an explicit type signature <span style="background: #bfb">v<span style="vertical-align: sub">i</span> :: forall vs . cx<span style="vertical-align: sub">i</span> => t<span style="vertical-align: sub">i</span></span> in <span style="background: #bfb">cdecls</span>.
    157204</pre>
    158205</div>