[Axiom-developer] [Axiom Language] The domain Domain?

[Bill Page]

Changes http://wiki.axiom-developer.org/AxiomLanguage/diff
--

??changed:
-typeOf -1 is inferred by the interpret to be Integer and
-the typeOf the variable x:Integer is declared to be Integer.
-Similarly the typeOf "daniel" is String. The type of an
-object, however, is not unique. The type of integer 7 is
-not only Integer but also NonNegativeInteger, PositiveInteger,
'typeOf -1' is inferred by the interpret to be 'Integer' and
the 'typeOf' the variable 'x:Integer' is declared to be 'Integer'.
Similarly the 'typeOf "daniel"' is 'String'. The type of an
object, however, is not unique. The type of integer '7' is
not only 'Integer' but also 'NonNegativeInteger', 'PositiveInteger',

??changed:
-domain Integer.
domain 'Integer'.

--
forwarded from http://wiki.axiom-developer.org/address@hidden