From 00c21d32515eb3da394b8f8b8bd10dd8a4a81a5c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 17 Nov 2009 15:13:38 +0000
Subject: 	* algebra/syntax.spad.pamphlet (SpadAstExports): Add case for
 JoinAst.

---
 src/algebra/syntax.spad.pamphlet | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'src/algebra')

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
-- 
cgit v1.2.3