aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/interp/define.boot2
-rw-r--r--src/interp/lisplib.boot2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot
index 4989ec38..b46c7474 100644
--- a/src/interp/define.boot
+++ b/src/interp/define.boot
@@ -1033,7 +1033,7 @@ deduceImplicitParameters(db,e) ==
x = nil =>
stackAndThrow('"Implicit parameter %1b has no visible constraint",[s])
x is [.] => nil -- OK.
- stackAndThrow("Too many constraints for implicit parameter %1b",[s])
+ stackAndThrow('"Too many constraints for implicit parameter %1b",[s])
dbImplicitData(db) := [subst,preds]
buildConstructorCondition db ==
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot
index d591a840..9866b245 100644
--- a/src/interp/lisplib.boot
+++ b/src/interp/lisplib.boot
@@ -705,7 +705,7 @@ isDomainForm(D,e) ==
op := opOf D
not ident? op => false
op is '%when => and/[isDomainForm(e,c) for [.,c] in D.args]
- db := constructorDB db => dbAbbreviation db in '(domain package)
+ --db := constructorDB op => dbAbbreviation db in '(domain package)
symbolMember?(op,$SpecialDomainNames) or isFunctor op or
((getmode(op,e) is ['Mapping,target,:.]) and isCategoryForm(target,e)) or
isCategoryForm(getmode(op,e),e) or isDomainConstructorForm(D,e)