aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2012-02-19 18:10:31 +0000
committerdos-reis <gdr@axiomatics.org>2012-02-19 18:10:31 +0000
commita1e31762f7c4c0c47295324b1039848150396246 (patch)
treeb5e10fd6ca1b5d4b41109dd78a419083d4a80f26 /src/interp
parentde74121648d44897c40b8f0bd53e64c0599bdb2d (diff)
downloadopen-axiom-a1e31762f7c4c0c47295324b1039848150396246.tar.gz
* interp/compiler.boot (compBuiltinDomain): Rename from compCat.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/compiler.boot10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index f57066f3..83112679 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -2023,7 +2023,7 @@ modeEqualSubst(m1,m,e) ==
--% Categories
-compCat(form is [functorName,:argl],m,e) ==
+compBuiltinDomain(form is [functorName,:argl],m,e) ==
fn := property(functorName,"makeFunctionList") or return nil
diagnoseUnknownType(form,e)
[funList,e]:= FUNCALL(fn,form,form,e)
@@ -2852,7 +2852,7 @@ for x in [["|", :"compSuchthat"],_
["construct", :"compConstruct"],_
["DEF", :"compDefine"],_
["elt", :"compElt"],_
- ["Enumeration", :"compCat"],_
+ ["Enumeration", :"compBuiltinDomain"],_
["EnumerationCategory", :"compEnumCat"],_
["exit", :"compExit"],_
["has", :"compHas"],_
@@ -2866,7 +2866,7 @@ for x in [["|", :"compSuchthat"],_
["MDEF", :"compMacro"],_
["not", :"compLogicalNot"],_
["pretend", :"compPretend"],_
- ["Record", :"compCat"],_
+ ["Record", :"compBuiltinDomain"],_
["RecordCategory", :"compConstructorCategory"],_
["REDUCE", :"compReduce"],_
["REPEAT", :"compRepeatOrCollect"],_
@@ -2874,9 +2874,9 @@ for x in [["|", :"compSuchthat"],_
["SEQ", :"compSeq"],_
["SubDomain", :"compSubDomain"],_
["SubsetCategory", :"compSubsetCategory"],_
- ["Mapping", :"compCat"],_
+ ["Mapping", :"compBuiltinDomain"],_
["MappingCategory", :"compConstructorCategory"],_
- ["Union", :"compCat"],_
+ ["Union", :"compBuiltinDomain"],_
["UnionCategory", :"compConstructorCategory"],_
["where", :"compWhere"],_
["per",:"compPer"],_