Ralf Hemmecke <[EMAIL PROTECTED]> writes:

[...]

| That I could not write
| 
|    z: Integer == 3 + y
| 
| ("==" instead of ":=") was somehow a surprise to me, but I don't know
| SPAD so well. So my question would be, how to use a delayed assignment
| so that whenever I later call "bar(100)", z would be properly defined?

Every `==' definition in Spad implicitly defines a function.    There
is no such thing for variables.

-- 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
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel

Reply via email to