Gaby, I am testing:
http://axiom-wiki.newsynthesis.org/206InterpreterCodeGenerationFailedForFunctionReturningAType that you marked "fixed in OpenAxiom-1.2.0". Refer to the end of the issue report where a bug is shown in which shows the error message "not a type". On the axiom-wiki I ran this example with OpenAxom-20080128. Below I have a different problem with a more recent version. It seems that I can no longer evaluate this function that returns a Domain. [EMAIL PROTECTED] open-axiom-src]# open-axiom GCL (GNU Common Lisp) 2.6.8 CLtL1 Feb 27 2008 16:36:01 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (BFD UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files set to /tmp/ OpenAxiom: The Open Scientific Computation Platform Version: OpenAxiom 1.2.0-2008-02-22 Built on Wednesday February 27, 2008 at 22:45:14 ----------------------------------------------------------------------------- Issue )copyright to view copyright notices. Issue )summary for a summary of useful system commands. Issue )quit to leave OpenAxiom and return to shell. ----------------------------------------------------------------------------- (1) -> (1) -> tt:INT->Domain Type: Void (2) -> tt(x)==(x=0 => Integer; Float) Type: Void (3) -> tt(0) Compiling function tt with type Integer -> Domain >> System error: Value stack overflow. (3) -> Can you reproduce this problem? I also have a second, perhaps related problem. When I try to Browse for Domain in Hyperdoc and then click on Exports or Operations (and other similar buttons) I get the message: You gave an invalid type: "Domain()" Regards, Bill Page. ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel