help links subscribe changes refresh edit

	SandBox
SandBoxLeftFreeModule ←	↑	→ SandBoxLimits

SandBoxLexicalScope

Edit detail for SandBoxLexicalScope revision 5 of 12

	1 2 3 4 5 6 7 8 9 10 11 12
Editor: gdr Time: 2008/05/11 12:51:53 GMT-7
Note:

added:

From gdr Sun May 11 12:51:53 -0700 2008
From: gdr
Date: Sun, 11 May 2008 12:51:53 -0700
Subject: 
Message-ID: <20080511125153-0700@axiom-wiki.newsynthesis.org>

Aldor (at least, the reference manual says) so makes
variable declarations `local', unless modified by
`free' or `fluid' modifiers.

j is referenced out of scope

axiomfor i in 1..5 repeat
        j:Integer := i^2
        output(i::OutputForm)$OutputPackage
   1
   2
   3
   4
   5

Type: Void

axiomoutput(j::OutputForm)$OutputPackage
   25

Type: Void

The code above returns an error in OpenAxiom? 1.2.0 (Revision >= 563).

It sould be written like this:

axiom
j: Integer

Type: Void

axiomfor i in 1..5 repeat
        j := i^2
        output(i::OutputForm)$OutputPackage
   1
   2
   3
   4
   5

Type: Void

axiomoutput(j::OutputForm)$OutputPackage
   25

Type: Void

Oddly, using j out of scope is also allowed in Aldor:

aldor#pile
#include "axiom"
import from PositiveInteger
CheckScope1(): with
    checkscope1: () -> PositiveInteger
  == add
    checkscope1():PositiveInteger ==
      for i in 1..5 repeat
        j:PositiveInteger := i^2
        --output(i::OutputForm)$OutputPackage
      --output(j::OutputForm)$OutputPackage
      j

aldor

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/8452782754204589047-25px003.as using 
      AXIOM-XL compiler and options 
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
   Compiling Lisp source code from file 
      ./8452782754204589047-25px003.lsp
   Issuing )library command for 8452782754204589047-25px003
   Reading /var/zope2/var/LatexWiki/8452782754204589047-25px003.asy
   CheckScope1 is now explicitly exposed in frame initial 
   CheckScope1 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/8452782754204589047-25px003

axiom
checkscope1()

(1)

Type: PositiveInteger?

aldor#pile
#include "axiom"
import from PositiveInteger
CheckScope2(): with
    checkscope2: () -> PositiveInteger
  == add
    checkscope2():PositiveInteger ==
      local j:PositiveInteger
      for i in 1..5 repeat
        j := i^2
        --output(i::OutputForm)
        --output(j::OutputForm)$OutputPackage
      j

aldor

   Compiling FriCAS source code from file 
      /var/zope2/var/LatexWiki/8264748852590484820-25px005.as using 
      AXIOM-XL compiler and options 
-O -Fasy -Fao -Flsp -laxiom -Mno-AXL_W_WillObsolete -DAxiom -Y $AXIOM/algebra
      Use the system command )set compiler args to change these 
      options.
#1 (Warning) Deprecated message prefix: use `ALDOR_' instead of `_AXL'
   Compiling Lisp source code from file 
      ./8264748852590484820-25px005.lsp
   Issuing )library command for 8264748852590484820-25px005
   Reading /var/zope2/var/LatexWiki/8264748852590484820-25px005.asy
   CheckScope2 is now explicitly exposed in frame initial 
   CheckScope2 will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/8264748852590484820-25px005

axiom
checkscope2()

(2)

Type: PositiveInteger?

... --gdr, Sun, 11 May 2008 12:51:53 -0700 reply

Aldor (at least, the reference manual says) so makes variable declarations `local', unless modified by `free' or `fluid' modifiers.