On Sat, Jul 12, 2008 at 11:19 AM, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
>
> Until now, it had been almost impossible to restrict the type of
> Mapping-valued expresions in the interpreter, e.g.
>
> [EMAIL PROTECTED](Float, NonNegativeInteger,Float)
>
> will produce an error even though there does exist an operaion "*"
> with type (NonNegativeInteger,Float) -> Float, default supplised by
> ABELGRP. This patchlet fixes that.
>
> Tested on an x86_64-suse-linux. Applied to mainline.
>
> -- Gaby
>
>
With following function
foo0 == [EMAIL PROTECTED](Integer,Integer,Integer)
I can do
(8) -> f:=foo0()
(8) theMap(newGoGet)
Type: ((Integer,Integer) ->
Integer)
(9) -> f(2,2)
(9) 4
Type:
PositiveInteger
But
(10) -> foo0()(2,2)
will crash.
PS: this works fine.
(1) -> (_+$Integer)(2,2)
(1) 4
Type:
Integer
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
