Changes between Version 3 and Version 4 of Language
- Timestamp:
- 06/24/09 08:00:53 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Language
v3 v4 1 1 2 == Modules == 3 Modules start with an optional module identifier, followed by a list of export and import declarations. Export declarations must come before import declarations. 4 2 == Module == 5 3 {{{ 6 4 Module … … 14 12 }}} 15 13 14 Modules start with an optional module identifier, followed by a list of export and import declarations. Export declarations must come before import declarations. 16 15 17 === Exports === 18 When there is an explicit export list, only those identifiers mentioned are exported from the module. If there is no export list then all identifiers are implicitly exported. 16 [[br]] 19 17 18 == !ExportDecl == 20 19 {{{ 21 20 ExportDecl … … 24 23 }}} 25 24 25 When there is an explicit export list, only those identifiers mentioned are exported from the module. If there is no export list then all identifiers are implicitly exported. 26 26 27 === Imports === 28 Foreign imports define the type of an external symbol. 27 [[br]] 29 28 29 == !ImportDecl == 30 30 {{{ 31 31 ImportDecl … … 35 35 }}} 36 36 37 Foreign imports define the type of an external symbol. 37 38 39 [[br]] 40 41 == !TopDecl == 42 {{{ 43 TopDecl 44 ::= Pragma 45 | InfixDecl 46 | TypeKind 47 | TypeDecl 48 | DataDecl 49 | EffectDecl 50 | RegionDecl 51 | ClassDecl 52 | InstanceDecl 53 | ProjectionDecl 54 | TypeSig 55 | Binding 56 }}} 57 58 [[br]]
