Changes between Version 14 and Version 15 of ExplicitForall


Ignore:
Timestamp:
Nov 20, 2010 12:14:21 AM (5 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v14 v15  
    283283<pre>
    284284<span style="background: #fbb">fdecl  →  import callconv [safety] impent var :: ftype  (define variable)
    285        |  export callconv expent var :: ftype    (expose variable)</span>
     285       |  export callconv expent var :: ftype           (expose variable)</span>
    286286</pre>
    287287</div>
     
    318318}}}
    319319
    320 [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .]
    321 [context =>] type  (type signature, k ≥ 0)</span>
     320-----
     321
     322In [http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#TBL-103-4- Section 10.2]:
     323
     324Replace:
     325{{{
     326#!html
     327<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     328<pre>
     329<span style="background: #fbb"> | foreign | if | import | in | infix | infixl</span>
     330</pre>
     331</div>
     332}}}
     333with:
     334{{{
     335#!html
     336<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
     337<pre>
     338<span style="background: #bfb"> | forall | foreign | if | import | in | infix | infixl</span>
     339</pre>
     340</div>
     341}}}
     342
     343-----
     344
     345In [http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#TBL-105-60-2 Section 10.5]:
     346
     347Replace:
     348{{{
     349#!html
     350<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     351<pre>
     352<span style="background: #fbb">gendecl  →  vars :: [context =>] type  (type signature)</span>
     353</pre>
     354</div>
     355}}}
     356with:
     357{{{
     358#!html
     359<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
     360<pre>
     361<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>
     362</pre>
     363</div>
     364}}}
     365
     366-----
     367
     368In [http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#TBL-105-118- Section 10.5]:
     369
     370Replace:
     371{{{
     372#!html
     373<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     374<pre>
     375<span style="background: #fbb">fdecl  →  import callconv [safety] impent var :: ftype  (define variable)
     376       |  export callconv expent var :: ftype           (expose variable)</span>
     377</pre>
     378</div>
     379}}}
     380with:
     381{{{
     382#!html
     383<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
     384<pre>
     385<span style="background: #bfb">fdecl  →  import callconv [safety] impent var :: [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .] ftype  (define variable, k ≥ 0)
     386       |  export callconv expent var :: [forall tyvar<span style="vertical-align: sub">1</span> … tyvar<span style="vertical-align: sub">k</span> .] ftype           (expose variable, k ≥ 0)</span>
     387</pre>
     388</div>
     389}}}
     390
     391-----
     392
     393In [http://www.haskell.org/onlinereport/haskell2010/haskellch10.html#TBL-105-153- Section 10.5]:
     394
     395Replace:
     396{{{
     397#!html
     398<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     399<pre>
     400<span style="background: #fbb">exp  →  infixexp :: [context =>] type  (expression type signature)</span>
     401</pre>
     402</div>
     403}}}
     404with:
     405{{{
     406#!html
     407<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
     408<pre>
     409<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>
     410</pre>
     411</div>
     412}}}
    322413
    323414== References ==