|
From: | Bill Page |
Subject: | [Axiom-developer] [#206 Interpreter code generation failed for function returning a Type] |
Date: | Fri, 23 Sep 2005 12:32:07 -0500 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |