aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/compiler.boot5
-rw-r--r--src/interp/define.boot9
2 files changed, 10 insertions, 4 deletions
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)