aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
-rw-r--r--src/algebra/syntax.spad.pamphlet36
1 files changed, 18 insertions, 18 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet
index 783459b1..bd908bf0 100644
--- a/src/algebra/syntax.spad.pamphlet
+++ b/src/algebra/syntax.spad.pamphlet
@@ -724,7 +724,7 @@ ImportAst(): Public == Private where
Private == add
import Pair
Rep == Pair(Identifier, List TypeAst)
- coerce(ts: List TypeAst): % == per pair('import,ts)
+ coerce(ts: List TypeAst): % == per pair('_import,ts)
imports x == second rep x
coerce(x: %): OutputForm ==
elt('ImportAst::OutputForm,
@@ -1694,7 +1694,7 @@ SpadAst(): SpadAstExports() == add
isAst(x: %, tag: Identifier): Boolean ==
(op := getOperator(x::Syntax)) case Identifier and op = tag
- x case ImportAst == isAst(x,'import)
+ x case ImportAst == isAst(x,'_import)
autoCoerce(x: %): ImportAst == x : ImportAst
x case DefinitionAst == isAst(x,'DEF)
@@ -1703,7 +1703,7 @@ SpadAst(): SpadAstExports() == add
x case MacroAst == isAst(x,'MDEF)
autoCoerce(x: %): MacroAst == x : MacroAst
- x case WhereAst == isAst(x,'where)
+ x case WhereAst == isAst(x,'_where)
autoCoerce(x: %): WhereAst == x : WhereAst
x case CategoryAst == isAst(x,'CATEGORY)
@@ -1745,16 +1745,16 @@ SpadAst(): SpadAstExports() == add
x case ConstructAst == isAst(x,'construct)
autoCoerce(x: %): ConstructAst == x : ConstructAst
- x case ExitAst == isAst(x,'exit)
+ x case ExitAst == isAst(x,'_exit)
autoCoerce(x: %): ExitAst == x : ExitAst
- x case ReturnAst == isAst(x,'return)
+ x case ReturnAst == isAst(x,'_return)
autoCoerce(x: %): ReturnAst == x : ReturnAst
x case CoerceAst == isAst(x,'_:_:)
autoCoerce(x: %): CoerceAst == x : CoerceAst
- x case PretendAst == isAst(x,'pretend)
+ x case PretendAst == isAst(x,'_pretend)
autoCoerce(x: %): PretendAst == x : PretendAst
x case RestrictAst == isAst(x,'_@)
@@ -1775,13 +1775,13 @@ SpadAst(): SpadAstExports() == add
x case ColonAst == isAst(x,'_:)
autoCoerce(x: %): ColonAst == x : ColonAst
- x case CaseAst == isAst(x,'case)
+ x case CaseAst == isAst(x,'_case)
autoCoerce(x: %): CaseAst == x : CaseAst
- x case HasAst == isAst(x,'has)
+ x case HasAst == isAst(x,'_has)
autoCoerce(x: %): HasAst == x : HasAst
- x case IsAst == isAst(x,'is)
+ x case IsAst == isAst(x,'_is)
autoCoerce(x: %): IsAst == x : IsAst
x case Identifier == (x::Syntax) case Identifier
@@ -1803,21 +1803,21 @@ SpadAst(): SpadAstExports() == add
op = 'STEP => x:StepAst::OutputForm
op = 'COLLECT => x:CollectAst::OutputForm
op = 'construct => x:ConstructAst::OutputForm
- op = 'exit => x:ExitAst::OutputForm
- op = 'return => x:ReturnAst::OutputForm
+ op = '_exit => x:ExitAst::OutputForm
+ op = '_return => x:ReturnAst::OutputForm
op = 'SEQ => x:SequenceAst::OutputForm
op = '%LET => x:LetAst::OutputForm
- op = 'pretend => x:PretendAst::OutputForm
+ op = '_pretend => x:PretendAst::OutputForm
op = '_:_: => x:CoerceAst::OutputForm
op = '_@ => x:RestrictAst::OutputForm
op = 'SEGMENT => x:SegmentAst::OutputForm
op = '_| => x:SuchThatAst::OutputForm
op = '_: => x:ColonAst::OutputForm
- op = 'add => x:AddAst::OutputForm
- op = 'case => x:CaseAst::OutputForm
- op = 'has => x:CaseAst::OutputForm
- op = 'is => x:CaseAst::OutputForm
- op = 'where => x:WhereAst::OutputForm
+ op = '_add => x:AddAst::OutputForm
+ op = '_case => x:CaseAst::OutputForm
+ op = '_has => x:CaseAst::OutputForm
+ op = '_is => x:CaseAst::OutputForm
+ op = '_where => x:WhereAst::OutputForm
op = '%Comma => x:CommaAst::OutputForm
op = 'Mapping => x:MappingAst::OutputForm
op = 'DEF => x:DefinitionAst::OutputForm
@@ -1827,7 +1827,7 @@ SpadAst(): SpadAstExports() == add
op = 'CATEGORY => x:CategoryAst::OutputForm
op = 'Join => x:JoinAst::OutputForm
op = 'CAPSULE => x:CapsuleAst::OutputForm
- op = 'import => x:ImportAst::OutputForm
+ op = '_import => x:ImportAst::OutputForm
x'::OutputForm
x'::OutputForm