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 | |
| parent | de74121648d44897c40b8f0bd53e64c0599bdb2d (diff) | |
| download | open-axiom-a1e31762f7c4c0c47295324b1039848150396246.tar.gz | |
* interp/compiler.boot (compBuiltinDomain): Rename from compCat.
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | 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,5 +1,9 @@ 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 external name printing. Do not call ncParseFromString. 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"],_ |