On Tue, May 13, 2008 at 4:32 AM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> If all this discussion, however is just to enforce the programmer to > create the variable j before the loop then I am all for it. But don't let > > j := 0 > > > be different from > > j: Integer := 0 > > if the compiler would be able to infer an appropriate type in the first In most cases, they are the same thing and no type annotation is required. If you read my original message, you'd notice that the only time they are different is when the second form is intended to `capture' a declaration in an enclosing scope. In Aldor, you would use `free' to make that happens -- Spad has no free. In OpenAxiom, you leave out the type annotation. Otherwise, in both Aldor (at least according to my reading of the specification) and OpenAxiom, the variable is local. If my understanding of the Aldor specification is incorrect, please slowly walk me through -- don't quote compiler output at me. -- 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
