On Wed, Feb 27, 2008 at 11:15 PM, Bill Page <[EMAIL PROTECTED]> wrote: > 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?
Bill -- Yes, I can reproduce the problem. A recent commit uncovered a latent problem in the output machinery. I'll check in a temporary fix and solve the real problem later -- I suspect everybody has been trying to solve that problem in various ways. > > 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()" I'll investigate that. > > 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 > ------------------------------------------------------------------------- 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
