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

[Bill Page]

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

++added:

Here is the same function in SPAD:
\begin{spad}
)abbrev package TT testtype
testtype(): exports == implementation where
  exports == with
    testt: (Integer) -> Type
  implementation == add
    testt(x) ==
      x=0 => Integer
      Float
\end{spad}

Calling this function like this::

 !\begin{axiom}
  testt(1)
  \end{axiom}

causes Axiom to crash::

  (1) -> testt(1)

   >> System error:
   Caught fatal error [memory may be damaged]

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