diff options
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 |