diff options
author | dos-reis <gdr@axiomatics.org> | 2009-11-17 15:13:38 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-11-17 15:13:38 +0000 |
commit | 00c21d32515eb3da394b8f8b8bd10dd8a4a81a5c (patch) | |
tree | 8cb86af2b79f7324eebc76bfe3404d347ede1295 /src/algebra | |
parent | b362f3e1e8c7b4a79053b25a57296ff7be1c5ddf (diff) | |
download | open-axiom-00c21d32515eb3da394b8f8b8bd10dd8a4a81a5c.tar.gz |
* algebra/syntax.spad.pamphlet (SpadAstExports): Add case for JoinAst.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/syntax.spad.pamphlet | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 683115df..74076b45 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -372,6 +372,13 @@ SpadAstExports(): Category == Join(SpadSyntaxCategory, UnionType) with ++ autoCoerce(s) returns the CategoryAst view of `s'. Left at the ++ discretion of the compiler. + case: (%, [|JoinAst|]) -> Boolean + ++ \spad{s case JoinAst} holds is the syntax object \spad{s} + ++ denotes the join of several categories. + autoCoerce: % -> JoinAst + ++ \spad{autoCoerce(s)} returns the \spadype{JoinAst} view of of + ++ the AST object \spad{s}. Left at the discretion of the compiler. + case: (%, [|CapsuleAst|]) -> Boolean ++ s case CapsuleAst holds if `s' represents a domain capsule. autoCoerce: % -> CapsuleAst @@ -1686,6 +1693,9 @@ SpadAst(): SpadAstExports() == add x case CategoryAst == isAst(x,'CATEGORY) autoCoerce(x: %): CategoryAst == x : CategoryAst + x case JoinAst == isAst(x,'Join) + autoCoerce(x: %): JoinAst == x : JoinAst + x case CapsuleAst == isAst(x,'CAPSULE) autoCoerce(x: %): CapsuleAst == x : CapsuleAst @@ -1799,6 +1809,7 @@ SpadAst(): SpadAstExports() == add op = 'SIGNATURE => x:SignatureAst::OutputForm op = 'ATTRIBUTE => x:AttributeAst::OutputForm op = 'CATEGORY => x:CategoryAst::OutputForm + op = 'Join => x:JoinAst::OutputForm op = 'CAPSULE => x:CapsuleAst::OutputForm op = 'import => x:ImportAst::OutputForm x'::OutputForm |