註釋 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;

基本原理

在庫級別，子程式體只能是過程。

討論

-