Go up to Library Constructs
Go forward to Distributed Libraries and Downloading

Libraries

  LIBRARY          ::=  library LIBRARY-ITEM*
  LIBRARY-ITEM     ::=  SPEC-DEFN | GEN-SPEC-DEFN 
                     |  ARCH-SPEC-DEFN | UNIT-SPEC-DEFN
A LIBRARY provides a collection of specification definitions, possibly of various kinds. It is well-formed only when each SPEC-NAME that occurs in the LIBRARY is uniquely defined, and not referenced until (strictly) after its definition. The global environment for each named specification is that determined by the preceding definitions. Thus a LIBRARY here provides linear visibility, and mutual or cyclic chains of references are not allowed.

The local environment for each named specification is empty. Each specification defined by a library must be self-contained (after resolving references to names defined in the current global environment), determining a complete signature--fragments of specifications cannot be named.

A LIBRARY determines a map from names to the semantics of the named specifications.

CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk