diff options
author | dos-reis <gdr@axiomatics.org> | 2011-09-07 22:38:03 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-09-07 22:38:03 +0000 |
commit | 6e67d369c25e19452a8a76a3864a63c5860e7cd3 (patch) | |
tree | a989ebee7f33a1998bd54372ee2a5f5c2bbcdb94 /src/interp/nrunfast.boot | |
parent | 88c6450a9068d951752e06f5ee40d63de1e95fd8 (diff) | |
download | open-axiom-6e67d369c25e19452a8a76a3864a63c5860e7cd3.tar.gz |
* 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.
Diffstat (limited to 'src/interp/nrunfast.boot')
-rw-r--r-- | src/interp/nrunfast.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/nrunfast.boot b/src/interp/nrunfast.boot index e6dcba83..f5afe44c 100644 --- a/src/interp/nrunfast.boot +++ b/src/interp/nrunfast.boot @@ -391,7 +391,7 @@ lazyMatch(source,lazyt,dollar,domain) == for [.,stag,s] in sargl for [.,atag,a] in argl] generalizedBuiltinConstructor? op => and/[lazyMatchArg(s,a,dollar,domain) for s in sargl for a in argl] - coSig := getDualSignatureFromDB op + coSig := getDualSignature op null coSig => error ["bad Constructor op", op] and/[lazyMatchArg2(s,a,dollar,domain,flag) for s in sargl for a in argl for flag in rest coSig] @@ -409,7 +409,7 @@ lazyMatch(source,lazyt,dollar,domain) == lazyMatchArgDollarCheck(s,d,dollarName,domainName) == #s ~= #d => nil - scoSig := getDualSignatureFromDB opOf s or return nil + scoSig := getDualSignature opOf s or return nil if opOf s in '(Union Mapping Record) then scoSig := [true for x in s] and/[fn for x in rest s for arg in rest d for xt in rest scoSig] where @@ -471,7 +471,7 @@ newExpandLocalTypeForm([functorName,:argl],dollar,domain) == functorName is "QUOTE" => [functorName,:argl] builtinConstructor? functorName => [functorName,:[newExpandLocalTypeArgs(a,dollar,domain,true) for a in argl]] - coSig := getDualSignatureFromDB functorName or + coSig := getDualSignature functorName or error ["unknown constructor name", functorName] [functorName,:[newExpandLocalTypeArgs(a,dollar,domain,flag) for a in argl for flag in rest coSig]] |