From 6e67d369c25e19452a8a76a3864a63c5860e7cd3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Wed, 7 Sep 2011 22:38:03 +0000 Subject: * interp/lisplib.boot (finalizeLisplib): Finalize documentaion only if not bootstrapping. (isFunctor): Tidy. * interp/g-util.boot (superType): Tidy. * interp/database.boot (getDualSignature): Rename from getDualSignatureFromDB. Adjust callers. * interp/c-util.boot (isKnownCategory): Remove. (diagnoseUnknownType): Use isCategoryForm. * interp/bootlex.lisp (GET-INTEGER-IN-RADIX): Use SPAD_SYNTAX_ERROR. * interp/metalex.lisp (GET-STRING-TOKEN): Likewise. * interp/parsing.lisp (MUST): Likewise. * algebra/boolean.spad.pamphlet (Refrence) [coerce]: Bypass conversion to Identifier. * algebra/domain.spad.pamphlet (ContructorKind): Tidy. --- src/interp/i-funsel.boot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/interp/i-funsel.boot') diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot index a09c86d4..9b1bd614 100644 --- a/src/interp/i-funsel.boot +++ b/src/interp/i-funsel.boot @@ -1250,7 +1250,7 @@ coerceTypeArgs(t1, t2, SL) == -- if needed. t1 isnt [con1, :args1] or t2 isnt [con2, :args2] => t2 con1 ~= con2 => t2 - coSig := rest getDualSignatureFromDB first t1 + coSig := rest getDualSignature first t1 and/coSig => t2 csub1 := constructSubst t1 csub2 := constructSubst t2 -- cgit v1.2.3