Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> As you know Aldor has a difference between Variables and constants.
> The following code is OK in Aldor and prints T and 1.
>
> ---BEGIN aaa.as
> #include "aldor"
> #include "aldorio"
> foo1(): Integer -> Boolean == (x: Integer): Boolean +-> true;
> foo2(): Integer -> Integer == (x: Integer): Integer +-> x;
> main(): () == {
> import from Integer;
> x: Integer -> Boolean == foo1();
> x: Integer -> Integer == foo2();
> stdout << x(1)@Boolean << newline;
> stdout << x(1)@Integer << newline;
> }
> main();
> ---END aaa.as
To make things more explicit, I think the following is even better:
---BEGIN aaa.as
#include "aldor"
#include "aldorio"
foo1(): Integer -> Boolean == (x: Integer): Boolean +-> true;
foo2(): Integer -> Integer == (x: Integer): Integer +-> x;
main(): () == {
import from Integer;
x: Integer -> Boolean == foo1();
x: Integer -> Integer == foo2();
stdout << x(1)@Boolean << newline;
stdout << x(1)@Integer << newline;
y: Integer == 2;
y: Boolean == false;
stdout << [EMAIL PROTECTED] << newline;
stdout << [EMAIL PROTECTED] << newline;
}
main();
---END aaa.as
Martin
-------------------------------------------------------------------------
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
