[Axiom-developer] [#206 Interpreter code generation failed for function returning a Type] (new)

[Bill Page]

Changes 
http://wiki.axiom-developer.org/206InterpreterCodeGenerationFailedForFunctionReturningAType/diff
--
This function should return a type that depends on a
parameter:
\begin{axiom}
tt:INT->Type
tt(x)== (x=0 => Integer; Float)
tt(1)
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/address@hidden