Howdy,
(1) -> a:INT
Type:
Void
(2) -> a:=1.1
Cannot convert right-hand side of assignment
1.1
to an object of the type Integer of the left-hand side.
(2) -> b:=2
(2) 2
Type:
PositiveInteger
(7) -> b:=%i
(7) %i
Type: Complex
Integer
This is a strange behavior when I am new to the OpenAxiom system. A variable
declared with some type
will never change, this is clear. But but the variables without type
declaration can change type at any time
is a little confusing.
I know this has reason rooted in i-object.boot, and the $e of interpreter
will show this:
(8) -> SAY(_$e$Lisp)$Lisp
((((b (value (Complex (Integer)) WRAPPED 0 . 1)) (% (value (Complex
(Integer)) WRAPPED 0 . 1)) (a (mode Integer)))))
But what is the intention to differentiate these two cases?
Thanks.
-------------------------------------------------------------------------
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