From 18e6b03f77c94e70f2381e484918e108260655f0 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 16 May 2013 00:11:19 +0000 Subject: * interp/compiler.boot (unknownTypeError): Simplify. * interp/define.boot (dbClearForCompilation!): Clear more fields. --- src/ChangeLog | 5 +++++ src/interp/compiler.boot | 5 +---- src/interp/define.boot | 9 +++++++++ 3 files changed, 15 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index 46c1ed57..d0014f9c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2013-05-15 Gabriel Dos Reis + + * interp/compiler.boot (unknownTypeError): Simplify. + * interp/define.boot (dbClearForCompilation!): Clear more fields. + 2013-05-15 Gabriel Dos Reis * interp/compiler.boot (comp2): Leave categories alone. 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) -- cgit v1.2.3