diff options
| -rw-r--r-- | src/interp/define.boot | 2 | ||||
| -rw-r--r-- | src/interp/lisplib.boot | 2 |
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) |