|
|
|
last edited 13 years ago by test1 |
Edit detail for SandBoxLexicalScope revision 7 of 12
| 1 2 3 4 5 6 7 8 9 10 11 12 | ||
|
Editor: hemmecke
Time: 2008/05/13 08:23:34 GMT-7 |
||
| Note: Specification? | ||
added:
From hemmecke Tue May 13 08:23:34 -0700 2008
From: hemmecke
Date: Tue, 13 May 2008 08:23:34 -0700
Subject: Specification?
Message-ID: <20080513082334-0700@axiom-wiki.newsynthesis.org>
In-Reply-To: <20080511125153-0700@axiom-wiki.newsynthesis.org>
Gaby, on which page of the AUG is this written?
j is referenced out of scope
fricas
(1) -> for i in 1..5 repeat
j:Integer := i^2
output(i::OutputForm)$OutputPackage
1
2
3
4
5
Type: Void
fricas
output(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:
fricas
j: Integer
Type: Void
fricas
for i in 1..5 repeat
j := i^2
output(i::OutputForm)$OutputPackage
1
2
3
4
5
Type: Void
fricas
output(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/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8452782754204589047-25px003.as
using Aldor compiler and options
-O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y $FRICAS/algebra -I $FRICAS/algebra
. Use the system command )set compiler args to change these
options.
#1 (Warning) Could not use archive file `libfricas.al'.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8452782754204589047-25px003.as",
The )library system command was not called after compilation.fricas
checkscope1()
There are no library operations named checkscope1 Use HyperDoc Browse or issue )what op checkscope1 to learn if there is any operation containing " checkscope1 " in its name.
Cannot find a no-argument definition or library operation named checkscope1 .
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/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8264748852590484820-25px005.as
using Aldor compiler and options
-O -Fasy -Fao -Flsp -lfricas -Mno-ALDOR_W_WillObsolete -DFriCAS -Y $FRICAS/algebra -I $FRICAS/algebra
. Use the system command )set compiler args to change these
options.
#1 (Warning) Could not use archive file `libfricas.al'.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/8264748852590484820-25px005.as",
The )library system command was not called after compilation.fricas
checkscope2()
There are no library operations named checkscope2 Use HyperDoc Browse or issue )what op checkscope2 to learn if there is any operation containing " checkscope2 " in its name.
Cannot find a no-argument definition or library operation named checkscope2 .
Ralf wrote:
Ooops, what in would be illegal? I just had to replace (as I said) the braces by parentheses, since parens are used to group sequences of commands. (Same as braces in Aldor.)
spad
)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
spad
Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/2292316700013189339-25px007.spad
using system compiler.
AAA abbreviates domain Aaa
------------------------------------------------------------------------
initializing NRLIB AAA for Aaa
compiling into NRLIB AAA
compiling exported bar : Integer -> Integer
****** comp fails at level 2 with expression: ******
error in function bar
(+ (+ |x| |a|) | << z >> |)
****** level 2 ******
x:= z
m:= $EmptyMode
f:=
((((|a| # #) (|y| # #) (|x| # #) (* #) ...)))
>> Apparent user error:
cannot compile (+ (+ x a) z)But this works?
spad
)abbrev domain AAA Aaa
Aaa: with
bar: Integer -> Integer
== add
(x: Integer := 4; y: Integer := 3)
z: Integer := 3 + y
bar(a: Integer): Integer == x + a + z
spad
Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/5820990303886118597-25px008.spad
using system compiler.
AAA abbreviates domain Aaa
------------------------------------------------------------------------
initializing NRLIB AAA for Aaa
compiling into NRLIB AAA
compiling exported bar : Integer -> Integer
Time: 0 SEC.
(time taken in buildFunctor: 0)
Time: 0 SEC.
Cumulative Statistics for Constructor Aaa
Time: 0 seconds
finalizing NRLIB AAA
Processing Aaa for Browser database:
--->-->Aaa(constructor): Not documented!!!!
--->-->Aaa((bar ((Integer) (Integer)))): Not documented!!!!
--->-->Aaa: Missing Description
; compiling file "/var/aw/var/LatexWiki/AAA.NRLIB/AAA.lsp" (written 27 OCT 2026 06:27:30 AM):
; wrote /var/aw/var/LatexWiki/AAA.NRLIB/AAA.fasl
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
Aaa is now explicitly exposed in frame initial
Aaa will be automatically loaded when needed from
/var/aw/var/LatexWiki/AAA.NRLIB/AAA... --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.
Gaby, on which page of the AUG is this written?