diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-09 19:30:17 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-09 19:30:17 +0000 |
commit | 879b9de5aaa0c3e717e3799c35af483816bac0da (patch) | |
tree | 52dc228a07f4add6b71783a7566e9c7e7d728ed0 /src/interp | |
parent | a8716de1c3778c147f62d18f1648d8b23163fccf (diff) | |
download | open-axiom-879b9de5aaa0c3e717e3799c35af483816bac0da.tar.gz |
* interp/i-coerfn.boot (Expr2Up): Fix regression introduced by
name$Kernel removal.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/i-coerfn.boot | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/interp/i-coerfn.boot b/src/interp/i-coerfn.boot index fa8eaeb6..1dd78d14 100644 --- a/src/interp/i-coerfn.boot +++ b/src/interp/i-coerfn.boot @@ -431,9 +431,12 @@ Expr2Up(u,source is [Expr,S], target is [.,var,T]) == u = '_$fromCoerceable_$ => canCoerce(source, T) kernelFunc := getFunctionFromDomain("kernels", source, [source]) kernelDom := ['Kernel, source] - nameFunc := getFunctionFromDomain("name", kernelDom, [kernelDom]) + operatorFunc := getFunctionFromDomain("operator",kernelDom,[kernelDom]) + bopDom := ["BasicOperator"] + nameFunc := getFunctionFromDomain("name", bopDom, [bopDom]) kernels := SPADCALL(u,kernelFunc) - v1 := [SPADCALL(kernel, nameFunc) for kernel in kernels] + v1 := [SPADCALL(SPADCALL(kernel, operatorFunc),nameFunc) + for kernel in kernels] not member(var, v1) => coercionFailure() |