Changes between Version 13 and Version 14 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 11:59:24 PM (5 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExplicitForall

    v13 v14  
    273273}}}
    274274
     275-----
     276
     277In [http://www.haskell.org/onlinereport/haskell2010/haskellch8.html#x15-1540008.4 Section 8.4]:
     278
     279Replace:
     280{{{
     281#!html
     282<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     283<pre>
     284<span style="background: #fbb">fdecl  →  import callconv [safety] impent var :: ftype  (define variable)
     285       |  export callconv expent var :: ftype    (expose variable)</span>
     286</pre>
     287</div>
     288}}}
     289with:
     290{{{
     291#!html
     292<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
     293<pre>
     294<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)
     295       |  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>
     296</pre>
     297</div>
     298}}}
     299
     300Replace:
     301{{{
     302#!html
     303<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     304<pre>
     305It implies that the arity of the external entity is n.
     306</pre>
     307</div>
     308}}}
     309with:
     310{{{
     311#!html
     312<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
     313<pre>
     314It implies that the arity of the external entity is n. If a universal quantifier is given, it must quantify
     315exactly the set of type variables used in the type.
     316</pre>
     317</div>
     318}}}
     319
     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>
     322
    275323== References ==
    276324