aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog5
-rw-r--r--src/interp/compiler.boot5
-rw-r--r--src/interp/define.boot9
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)