Changes between Version 13 and Version 14 of ExplicitForall


Ignore:
Timestamp:
Nov 19, 2010 11:59:24 PM (3 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