diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-08 18:00:22 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-08 18:00:22 +0000 |
| commit | 43be0bf7b21794f6e94027736b004fd7097c226f (patch) | |
| tree | 432b2eb633a8ab2d16bb5baebc5783668e491303 | |
| parent | 08eefe55f399afa6348334f500b44f1b9f216515 (diff) | |
| download | open-axiom-43be0bf7b21794f6e94027736b004fd7097c226f.tar.gz | |
fix thinkos
| -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) |