From a1e31762f7c4c0c47295324b1039848150396246 Mon Sep 17 00:00:00 2001 From: dos-reis <gdr@axiomatics.org> Date: Sun, 19 Feb 2012 18:10:31 +0000 Subject: * interp/compiler.boot (compBuiltinDomain): Rename from compCat. --- src/ChangeLog | 4 ++++ src/interp/compiler.boot | 10 +++++----- 2 files changed, 9 insertions(+), 5 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index d3676ce5..27687105 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2012-02-19 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/compiler.boot (compBuiltinDomain): Rename from compCat. + 2012-02-19 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/br-data.boot (libConstructorSig): Rename T$ to T for 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"],_ -- cgit v1.2.3