注释 King 参考手册/程序结构

编译单元

示例

-

语法

compilation ::= {compilation_unit}

compilation_unit ::=
            context_clause library_item
          | context_clause subunit

library_item ::=
            [hidden] library_unit_declaration
          | library_unit_body
          | [hidden] library_unit_renaming_declaration

library_unit_declaration ::=
            module_declaration
          | macro_declaration
          | macro_expansion

library_unit_renaming_declaration ::=
            module_renaming_declaration
          | macro_renaming_declaration

library_unit_body ::= subprogram_body | module_body

subunit ::= separate parent_unit_name . proper_body

context_clause ::= {context_item}

context_item ::= use_clause

use_clause ::= use library_unit_name;

基本原理

在库级别，子程序体只能是过程。

讨论

-