diff options
Diffstat (limited to 'import-export/README')
| -rw-r--r-- | import-export/README | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/import-export/README b/import-export/README new file mode 100644 index 0000000..4bd3bc4 --- /dev/null +++ b/import-export/README @@ -0,0 +1,15 @@ +This is the import / export phase. This process is accomplished as follows: + +a) Local definitions are created in each module. These are entered into the + local symbol table. +b) Imports to non-local modules are completely resolved. +c) Local import/export is performed via a fixpoint: + 1) Export: definitions added in the previous round are filtered by the + export list and placed in a fresh export list. + 2) Each module imports from the fresh export list of the other modules. + Any import not already present is placed on a new fresh export list. + When no fresh exports are generated, the iteration is complete. +d) Missing exports and imports are checked for. + + + |