I'm currently wondering about the message below. Is this a known misfeature of
the type inference algorithm?
Martin
(1) -> dot([1,2],[a,b])
There are 2 exposed and 2 unexposed library operations named dot
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op dot
to learn more about the available operations. Perhaps
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.
Cannot find a definition or applicable library operation named dot
with argument type(s)
List PositiveInteger
List OrderedVariableList [a,b]
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
(1) -> l1: List POLY INT := [a,b]; l2: List POLY INT := [x,y];
Type: List Polynomial Integer
(2) -> )se me bo on
(2) -> dot(l1,l2)
Function Selection for dot
Arguments: (LIST POLY INT,LIST POLY INT)
-> no appropriate dot found in List Polynomial Integer
-> no appropriate dot found in Polynomial Integer
-> no appropriate dot found in List Polynomial Integer
-> no appropriate dot found in Polynomial Integer
Modemaps from Associated Packages
no modemaps
Remaining General Modemaps
[1] (D,D) -> D1 from D
if D has VECTCAT D1 and D1 has TYPE and D1 has RING
[2] (D,D) -> D1 from D
if D has DIRPCAT(D2,D1) and D1 has TYPE and D1 has RING
-> no appropriate dot found in Vector Polynomial Integer
-> no function dot found for arguments (LIST POLY INT,LIST POLY INT)
[...]
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
