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_.
-- 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
