diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-19 04:22:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 04:22:53 +0000 |
| commit | fa4294f205cbc0398db0e80b7dbbe8daf7795024 (patch) | |
| tree | 951e831aacffda2e5b928827ccee8ad2d25f5d4f /src/interp | |
| parent | e3f96535b3ee598eb1a3aed19a40ec2a6fb59a15 (diff) | |
| download | open-axiom-fa4294f205cbc0398db0e80b7dbbe8daf7795024.tar.gz | |
Tidy getSignature
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/define.boot | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index c17905c4..c5f7e073 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -2020,14 +2020,13 @@ addDomain(domain,e) == getSignature(op,argModeList,$e) == - 1=# - (sigl:= - removeDuplicates - [sig - for [[dc,:sig],[pred,:.]] in (mmList:= get(op,'modemap,$e)) | dc='_$ - and sig.source = argModeList and knownInfo(pred,$e)]) => first sigl + mmList := get(op,'modemap,$e) + sigl := removeDuplicates + [sig for [[dc,:sig],[pred,:.]] in mmList + | dc='$ and sig.source = argModeList and knownInfo(pred,$e)] + sigl is [sig] => sig null sigl => - (u:= getXmode(op,$e)) is ['Mapping,:sig] => sig + getXmode(op,$e) is ['Mapping,:sig] => sig SAY '"************* USER ERROR **********" SAY("available signatures for ",op,": ") if null mmList @@ -2035,7 +2034,6 @@ getSignature(op,argModeList,$e) == else for [[dc,:sig],:.] in mmList repeat printSignature(" ",op,sig) printSignature("NEED ",op,["?",:argModeList]) nil - 1=#sigl => first sigl stackSemanticError(["duplicate signatures for ",op,": ",argModeList],nil) --% ARGUMENT CONDITION CODE |