diff options
author | dos-reis <gdr@axiomatics.org> | 2007-10-22 10:25:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-10-22 10:25:52 +0000 |
commit | a73349338f650dea30da980fe22e5c750884cc85 (patch) | |
tree | 4d1c8e72e7be5d02c9be0c490a8c5a5817d585ef /src/interp/define.boot.pamphlet | |
parent | 2ff38e852893972f6d8000a70bb4a359fb7e44df (diff) | |
download | open-axiom-a73349338f650dea30da980fe22e5c750884cc85.tar.gz |
* br-data.boot.pamphlet (getImports): Rename `import' to `doImport'.
* define.boot.pamphlet (hasSigInTargetCategory): Pretty-print
signature in diagnostics.
* i-syscmd.boot.pamphlet: Fix syntax.
* mark.boot: Likewise.
Diffstat (limited to 'src/interp/define.boot.pamphlet')
-rw-r--r-- | src/interp/define.boot.pamphlet | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/interp/define.boot.pamphlet b/src/interp/define.boot.pamphlet index db8adaf8..cf6ba96a 100644 --- a/src/interp/define.boot.pamphlet +++ b/src/interp/define.boot.pamphlet @@ -894,7 +894,8 @@ hasSigInTargetCategory(argl,form,opsig,e) == 0=c => (#(sig:= getSignatureFromMode(form,e))=#form => sig; nil) 1<c => sig:= first potentialSigList - stackWarning ["signature of lhs not unique:",:bright sig,"chosen"] + stackWarning ["signature of lhs not unique:", + :bright formatSignature sig, "chosen"] sig nil --this branch will force all arguments to be declared @@ -1263,7 +1264,7 @@ doIt(item,$predl) == --This will RPLAC as appropriate isDomainForm(item,$e) => -- convert naked top level domains to import - u:= ['import, [first item,:rest item]] + u:= ["import", [first item,:rest item]] stackWarning ["Use: import ", [first item,:rest item]] RPLACA(item,first u) RPLACD(item,rest u) @@ -1302,7 +1303,7 @@ doIt(item,$predl) == RPLACA(item,first code) RPLACD(item,rest code) item is [":",a,t] => [.,.,$e]:= compOrCroak(item,$EmptyMode,$e) - item is ['import,:doms] => + item is ["import",:doms] => for dom in doms repeat sayBrightly ['" importing ",:formatUnabbreviated dom] [.,.,$e] := compOrCroak(item,$EmptyMode,$e) |