On Tue, May 13, 2008 at 11:04 AM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote: > ... > Ooops, what in > > )abbrev domain AAA Aaa > Aaa: with > bar: Integer -> Integer > == add > (x: Integer := 4; y: Integer := 3) > bar(a: Integer): Integer == x + a + z > z: Integer := 3 + y > > would be illegal?
As I understand it under Gaby's change to OpenAxiom this would be (and is) illegal. > I just had to replace (as I said) the braces by parentheses, > since parens are used to group sequences of commands. > (Same as braces in Aldor.) Do you think grouping sequences of commands by parens is entirely equivalent to code indentation? > ... > > The above code does indeed not compile (at least not in fricas). > Why? > Obviously because z is not "known" to the compiler when compiling 'bar'. It is nowhere is scope and has not been given any declaration locally. Right? What else would you expect? http://axiom-wiki.newsynthesis.org/SandBoxLexicalScope#bottom 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
