On 05/14/2008 10:53 AM, Gabriel Dos Reis wrote:
> Ralf Hemmecke <[EMAIL PROTECTED]> writes:
>
> | On 05/13/2008 01:59 PM, Gabriel Dos Reis wrote:
> | > On Tue, May 13, 2008 at 6:35 AM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> | >
> | >>>> {
> | >>>> 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.
> | >
> | > Why?
> | >
> | > (for starter, it is not legal Spad)
> |
> | 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?
>
> Was it valid before my change on the *scope of loop variables*? If
> yes, the answer is yes; if no, the answer is no. And I think the
> answer is `no' for reasons *unrelated* to the change to the
> _variable declared in loop_.
I don't think that a yes/no would answer the above "what" question.
Thank you for not sharing your knowledge.
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
