Changes between Version 14 and Version 15 of ExplicitForall


Ignore:
Timestamp:
Nov 20, 2010 12:14:21 AM (4 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 ==