Changeset 457


Ignore:
Timestamp:
Jul 6, 2010 7:37:34 PM (14 years ago)
Author:
Anya Helene Bagge
Message:

Some grammar fixes

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/metaxa/src/Magnolia/Core/Declarations.sdf

    r445 r457  
    9090    BraceDecl -> Decl {abstract}
    9191
     92        "external" -> SubClause
     93       
    9294%%% Procedure Declarations
    9395  sorts
    … …  
    266268    "signature" DeclName        -> DeclClause {cons("SignatureClause")}
    267269 
     270        "library" DeclName SubClause* "=" ImplExpr      -> Decl {cons("Library")}
    268271
    269272    Identifier -> DeclName
    … …  
    355358
    356359    DeclBody -> ImplExpr  {cons("ImplBody")}
     360   
     361    "external" Identifier Name "defines" ImplExpr -> ImplExpr {cons("ExternalLib")}
    357362
    358363%% Morphisms
Note: See TracChangeset for help on using the changeset viewer.