diff options
author | dos-reis <gdr@axiomatics.org> | 2012-02-19 18:10:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-02-19 18:10:31 +0000 |
commit | a1e31762f7c4c0c47295324b1039848150396246 (patch) | |
tree | b5e10fd6ca1b5d4b41109dd78a419083d4a80f26 /src/interp | |
parent | de74121648d44897c40b8f0bd53e64c0599bdb2d (diff) | |
download | open-axiom-a1e31762f7c4c0c47295324b1039848150396246.tar.gz |
* interp/compiler.boot (compBuiltinDomain): Rename from compCat.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/compiler.boot | 10 |
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"],_ |