Changes between Version 6 and Version 7 of Language/Declarations

Show
Ignore:
Timestamp:
06/25/09 02:16:50 (5 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Declarations

    v6 v7  
    1515 
    1616Although we use semicolons as terminators instead of separators, in all cases the parser will accept a missing semicolon before a closing brace. 
     17 
     18At the moment import and export decls are accepted in any order, but they shouldn't be #91. 
    1719 
    1820[[br]] 
     
    3739    ::=  import  ModuleId 
    3840     |   import  {  ModuleId;+  }  
    39      |   foreign import  String  Var  ::  Type 
    40 }}} 
    41  
    42 Foreign imports define the type of an external symbol. 
    43  
    44 [[br]] 
     41}}} 
    4542 
    4643== !TopDecl == 
     
    4845TopDecl 
    4946    ::=  Pragma 
     47     |   ForeignImportDecl 
    5048     |   InfixDecl 
    5149     |   TypeKind 
     
    7472 
    7573 
     74== !ForeignImportDecl == 
     75{{{ 
     76ForeignImportDecl 
     77    ::=  foreign import  String  Var  ::  Type 
     78     |   foreign import data  String  Con :: Kind 
     79     |   foreign import data  String  Con 
     80}}} 
     81 
     82Foreign imports define the type of an external symbol. 
     83 
     84[[br]] 
     85 
     86 
     87 
    7688== !InfixDecl == 
    7789