Martin,
On Wed, Apr 23, 2008 at 3:47 PM, you wrote:
>
> I'm currently wondering about the message below. Is this a known
> misfeature of the type inference algorithm?
>
> (1) -> dot([1,2],[a,b])
> ...
I am not really sure what you were expecting. Perhaps something like this?
(1) -> )di op dot
There are 2 exposed functions called dot :
[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
There are 3 unexposed functions called dot :
[1] (Point DoubleFloat,Point DoubleFloat) -> DoubleFloat from
TubePlotTools
[2] (OutputForm,NonNegativeInteger) -> OutputForm from OutputForm
[3] OutputForm -> OutputForm from OutputForm
(1) -> [1,2]::Vector ?
(1) [1,2]
Type: Vector PositiveInteger
(2) -> [a,b]::Vector ?
(2) [a,b]
Type: Vector OrderedVariableList [a,b]
(3) -> dot([1,2]::Vector ?,[a,b]::Vector ?)
(3) 2b + a
Type: Polynomial Integer
(4) ->
----------
Are you saying that it should not be necessary to give the interpreter
such mode hints?
Regards,
Bill Page.
-------------------------------------------------------------------------
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
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
