Changes between Version 7 and Version 8 of LibraryDeclarationsCowan


Ignore:
Timestamp:
06/06/13 12:22:01 (4 years ago)
Author:
cowan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • LibraryDeclarationsCowan

    v7 v8  
    1 This is a proposal to add further library declarations and import-set types to the large language. 
     1This is a proposal to add further library declarations and import-set types to the large language.  '''Issue:  Phases are not yet dealt with.''' 
    22 
    33== Library declarations == 
     
    107107The implementation may assume that ''identifier'' always has a value that is a procedure.  When this procedure is invoked, its value satisfies the predicate bound to ''return-predicate'' (for the first format) or its values satisfy the predicates bound to the ''return-predicates'' (for the second format).  In addition, its arguments (or an initial subsequence of them) satisfy the ''arg-predicates''.  f `#t` appears instead of a predicate identifier, any value will satisfy it, but the absence of a value will not. 
    108108 
    109 '''Issue:  This introduces phasing complications (where and when are the predicates bound?) which must be resolved as part of a comprehensive treatment of phasing.''' 
     109'''Issue:  These declarations introduce phasing complications (where and when are the predicate names bound?) which must be resolved as part of a comprehensive treatment of phasing.''' 
    110110 
    111111=== Compilation === 
     
    135135The implementation should process the definitions of the named identifiers (if none are named, the whole library) silently.  The user should still be notified of errors. 
    136136 
     137=== Semantics === 
     138 
     139`(no-location `''identifier'' ...`)` 
     140 
     141The implementation may assume that the procedures bound to ''identifier'' (if none are named, all procedures) have no location, so that neither `eq?` nor `eqv?` is required to return `#t` in any circumstances when passed a procedure argument. 
     142 
    137143== Declarations in main programs == 
    138144