Changes between Version 12 and Version 13 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 11:10:23 PM (5 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>