Ralf Hemmecke <[EMAIL PROTECTED]> writes:
| 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.
I was addressing the `validity' question as a whole -- because I don't
think it makes sene to say `ah this whole thing is legal, but that
sub-thing is illegal'. Either it is legal or illegal, not half.
| Thank you for not sharing your knowledge.
Thank you for your thoughtful reply.
-- Gaby
-------------------------------------------------------------------------
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
