On 05/13/2008 12:49 PM, Gabriel Dos Reis wrote:
> On Tue, May 13, 2008 at 4:32 AM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
>
>> What will be the behaviour of the following piece of code (see AUG p.100)?
>
> You said Aldor is not C; I would add Spad is not Aldor.
Ooops. I don't think that is an answer to the above question.
>> {
>> x: Integer := 4;
>> y: Integer := 3;
>> }
>> adds(a: Integer): Integer == x + a + z;
>> z: Integer := 3 + y
>
> What do you think that means in Axiom?
If "Axiom" means "SPAD", then it should give the same as for Aldor. (I
guess one would have to replace the braces by parentheses.)
Ralf
-------------------------------------------------------------------------
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
