Changes
http://wiki.axiom-developer.org/378DeclarationsWithMultipleVariablesDontWorkInsideOfFunctions/diff
--
Seems like '(a,b):Type' is syntactic sugar in the interpreter and 'a,b:Type'
does not define type of 'a' correctly (but 'b' is typed correctly; probably the
reason to require parenthesis---this requires the interpreter parser to
distinguish '(a,b)' to the left of ':' from to the right of ':'). So this is
another inconsistency between interpreter and compiler, or this may be due to
an original bug or an unknown difficulty in parsing the comma separator in the
interpreter. Alternatively, if the *compiler* manual says '(a,b):Type' should
be okay, then it is a compiler bug and the workaround is to use 'a,b:Type'.
\begin{axiom}
(a,b):POLY INT
a:= 11
typeOf a
b:= 12
a+b
c,d:POLY INT
c:=11
d:=12
c+d
\end{axiom}
Why does 'c,d:POLY INT' produces a Lisp output? and of type 'Tuple Void'?
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
