S-1 -- Architectural Constructs: Local Definitions

Go backward to Basic Constructs: Local Declarations and Definitions
Go up to Appendix C: Proposed Changes
Go forward to Library Constructs: Local Definitions

Architectural Constructs: Local Definitions

UNIT-TERM      ::=   ... | LOCAL-UNITS
LOCAL-UNITS    ::=   local-units UNIT-DEFN+ UNIT-TERM
UNIT-DEFN      ::=   unit-defn UNIT-NAME UNIT-TERM

(Alternatively:

UNIT-DEFN ::= unit-defn UNIT-NAME RESULT-UNIT

if bound units are allowed to depend on additional specified external units.)

Local definitions LOCAL-UNITS are proposed in unit terms. The scope of the names defined in each unit definition in UNIT-DEFN+ is the following unit definitions and the UNIT-TERM only. A UNIT-DEFN defines the UNIT-NAME as an abbreviation for the UNIT-TERM.

Discharged: These are not included (but see comment about generativity of UNIT-APPL).

CoFI Note: S-1 --Version 1.3-- 25 April 1997.
Comments to cofi-semantics@brics.dk