Changes between Version 12 and Version 13 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 11:10:23 PM (3 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v12 v13  
    185185----- 
    186186 
     187In [http://www.haskell.org/onlinereport/haskell2010/haskellch4.html#verbatim-27 Section 4.1.4]: 
     188 
     189Replace: 
     190{{{ 
     191#!html 
     192<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px"> 
     193<pre> 
     194<span style="background: #fbb">(Eq a, Show a, Eq b) => [a] -> [b] -> String</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> 
     203<span style="background: #bfb">forall a b . (Eq a, Show a, Eq b) => [a] -> [b] -> String</span> 
     204</pre> 
     205</div> 
     206}}} 
     207 
     208----- 
     209 
    187210In [http://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-760004.3.1 Section 4.3.1]: 
    188211 
     
    208231----- 
    209232 
    210 In [http://www.haskell.org/onlinereport/haskell2010/haskellch4.html#verbatim-27 Section 4.1.4]: 
    211  
    212 Replace: 
    213 {{{ 
    214 #!html 
    215 <div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px"> 
    216 <pre> 
    217 <span style="background: #fbb">(Eq a, Show a, Eq b) => [a] -> [b] -> String</span> 
    218 </pre> 
    219 </div> 
    220 }}} 
    221 with: 
    222 {{{ 
    223 #!html 
    224 <div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px"> 
    225 <pre> 
    226 <span style="background: #bfb">forall a b . (Eq a, Show a, Eq b) => [a] -> [b] -> String</span> 
     233In [http://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-810004.4.1 Section 4.4.4]: 
     234 
     235Replace: 
     236{{{ 
     237#!html 
     238<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px"> 
     239<pre> 
     240<span style="background: #fbb">gendecl  →  vars :: [context =>] type</span> 
     241</pre> 
     242</div> 
     243}}} 
     244with: 
     245{{{ 
     246#!html 
     247<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px"> 
     248<pre> 
     249<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  (k ≥ 0)</span> 
     250</pre> 
     251</div> 
     252}}} 
     253 
     254Replace: 
     255{{{ 
     256#!html 
     257<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px"> 
     258<pre> 
     259A type signature specifies types for variables, possibly with respect to a context. A type signature has the 
     260form: <span style="background: #fbb">v<span style="vertical-align: sub">1</span>, …, v<span style="vertical-align: sub">n</span> :: cx => t</span> which is equivalent to asserting <span style="background: #fbb">v<span style="vertical-align: sub">i</span> :: cx => t</span> for each <span style="background: #fbb">i</span> from 1 to n. 
     261</pre> 
     262</div> 
     263}}} 
     264with: 
     265{{{ 
     266#!html 
     267<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px"> 
     268<pre> 
     269A type signature specifies types for variables, possibly with respect to a context. A type signature has the 
     270form: <span style="background: #bfb">v<span style="vertical-align: sub">1</span>, …, v<span style="vertical-align: sub">n</span> :: forall vs . cx => t</span> which is equivalent to asserting <span style="background: #bfb">v<span style="vertical-align: sub">i</span> :: cx => t</span> for each <span style="background: #bfb">i</span> from 1 to n. 
    227271</pre> 
    228272</div>