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

Reply via email to