Changes between Version 3 and Version 4 of Language

Show
Ignore:
Timestamp:
06/24/09 08:00:53 (5 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language

    v3 v4  
    11 
    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 == 
    53{{{ 
    64Module 
     
    1412}}} 
    1513 
     14Modules start with an optional module identifier, followed by a list of export and import declarations. Export declarations must come before import declarations.  
    1615 
    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]] 
    1917 
     18== !ExportDecl == 
    2019{{{ 
    2120ExportDecl 
     
    2423}}} 
    2524 
     25When 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. 
    2626 
    27 === Imports === 
    28 Foreign imports define the type of an external symbol. 
     27[[br]] 
    2928 
     29== !ImportDecl == 
    3030{{{ 
    3131ImportDecl 
     
    3535}}} 
    3636 
     37Foreign imports define the type of an external symbol. 
    3738 
     39[[br]] 
     40 
     41== !TopDecl == 
     42{{{ 
     43TopDecl 
     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]]