Changeset 444


Ignore:
Timestamp:
Jun 22, 2010 7:45:16 PM (14 years ago)
Author:
Anya Helene Bagge
Message:

fix syntax

Location:
MetaXa/src
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • MetaXa/src/Magnolia.mxa

    r398 r444  
    4646                N --lookup-isVar-isUnique-> sym(N',T')
    4747                --------------------------------------
    48                    (: N:? :) ==> (; N':T ;)
     48                   (: N:? :) ==> (; N:T ;) /* TODO: N' */
    4949
    5050construct procedure Decl:

  • MetaXa/src/MagnoliaSpec.mxa

    r443 r444  
    1212        syntax
    1313 
    14                 (: concept Name Attrs = ConceptExpr :)
     14        decl(: concept Name Attrs = ConceptExpr :)
    1515       
    1616        patterns
    … …  
    2525                ------------------------------------------------------------
    2626                decl(Sort, Name, Attrs, X)      ==> decl(Sort, Name, Attrs', X'),
    27                 defines<Sort, qualify(Name), X'),       attrs<Sort, qualify(Name), Attrs'>
     27                defines<Sort, qualify(Name), X'>,       attrs<Sort, qualify(Name), Attrs'>
    2828
    2929construct literal ConceptExpr:
    … …  
    3131        syntax
    3232       
    33                 (: { Decl* } :)
     33                conceptexpr(: { Decl* } :)
    3434       
    3535        rules
    3636       
    37                                                         Decl* ==>* Decl'*
     37                                                        Decl* ==> Decl'*
    3838                ---------------------------------------------------------
    39                 ConceptExpr(: { Decl* } :) -> ConceptExpr(; { Decl'* } ;)
     39                conceptexpr(: { Decl* } :) ==> conceptexpr(; { Decl'* } ;)
    4040
    4141construct named ConceptExpr:
    … …  
    4343        syntax
    4444       
    45                 (: Name :)
     45                conceptexpr(: Name :)
    4646               
    4747        rules
    … …  
    4949                Name --lookupDef("concept")-isUnique-> Name'
    5050                -------------------------------------------
    51                                 (: Name :) ==> (; Name' ;)
     51                conceptexpr(: Name :) ==> conceptexpr(; Name' ;)
    5252
     53/*
    5354construct morphed ConceptExpr:
    5455
    5556        syntax
    5657       
    57                 (: ConceptExpr Morphism :)
     58                conceptexpr(: ConceptExpr Morphism :)
    5859               
    5960        rules
    … …  
    6970        syntax
    7071
    71                 (:
     72                (:
     73               
     74                */
Note: See TracChangeset for help on using the changeset viewer.