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

[Bill Page]

Changes 
http://wiki.axiom-developer.org/206InterpreterCodeGenerationFailedForFunctionReturningAType/diff
--

??changed:
-    testt: (Integer) -> Type
    tt1: (Integer) -> Type

??changed:
-    testt(x) ==
    tt1(x) ==

??changed:
- !\begin{axiom}
-  testt(1)
  !\begin{axiom}
  tt1(1)

??changed:
-  (1) -> testt(1)
  (1) -> tt1(1)

++added:

But this works using Aldor! :-)
\begin{aldor}
#include "axiom.as";
testtype2(): with {
    tt2: (Integer) -> Type;
} == add {
    tt2(x:Integer):Type == {
      x=0 => Integer;
      Float;
      }
    }
\end{aldor}

\begin{axiom}
tt2(1)
tt2(0)
\end{axiom}


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