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>