diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-16 00:11:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-16 00:11:19 +0000 |
| commit | 18e6b03f77c94e70f2381e484918e108260655f0 (patch) | |
| tree | ddb61ee062c8acc67548adc503d1fb22c23eb28b | |
| parent | 164c8a240d8df380975521564b65cf381b630313 (diff) | |
| download | open-axiom-18e6b03f77c94e70f2381e484918e108260655f0.tar.gz | |
* interp/compiler.boot (unknownTypeError): Simplify.
* interp/define.boot (dbClearForCompilation!): Clear more fields.
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/interp/compiler.boot | 5 | ||||
| -rw-r--r-- | src/interp/define.boot | 9 |
3 files changed, 15 insertions, 4 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 46c1ed57..d0014f9c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net> + * interp/compiler.boot (unknownTypeError): Simplify. + * interp/define.boot (dbClearForCompilation!): Clear more fields. + +2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net> + * interp/compiler.boot (comp2): Leave categories alone. 2013-05-15 Gabriel Dos Reis <gdr@integrable-solutions.net> diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 25f6f1b0..a2907f18 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1708,10 +1708,7 @@ compColon([":",f,t],m,e) == [val,getmode(f,e),e] unknownTypeError name == - name:= - name is [op,:.] => op - name - stackAndThrow('"%1b is not a known type",[name]) + stackAndThrow('"%1pb is not a known type",[name]) compPretend: (%Form,%Mode,%Env) -> %Maybe %Triple compPretend(["pretend",x,t],m,e) == diff --git a/src/interp/define.boot b/src/interp/define.boot index 6603f489..216279e0 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1390,6 +1390,15 @@ dbClearForCompilation! db == dbCapsuleDefinitions(db) := nil dbModemaps(db) := nil dbDocumentation(db) := nil + dbOperations(db) := nil + dbAttributes(db) := nil + dbPredicates(db) := nil + dbAncestors(db) := nil + dbPrincipals(db) := nil + dbCategory(db) := nil + dbConstructorModemap(db) := nil + dbDefaultDomain(db) := nil + dbDualSignature(db) := nil substituteCategoryArguments(argl,catform) == argl := substitute("$$","$",argl) |