Unforunately, I am a lisp illiterate. :-( So I don't even know how to
start your program on test files. So I would like to give a little
(meaningless) testfile.
The output of notangle on the program below is
----------------------
foo(x: Integer): Integer == z := 1
for i in 1.. x repeat
h := 1
for j in 1..i repeat
h := h + j
h := 2*h
h := if h > 100
then
h-2
else
h+2
h := 3*h
z := h
z
----------------------
Does your program give the same result?
Furthermore what about the option "-L" that can be given to notangle?
That is particularly useful if your compiler emits a column number for
error messages. #pile mode is bad in that case anyway, but there are
also files that are indentation-independent.
Ralf
---BEGIN aaa.spad.pamphlet
<<*>>=
foo(x: Integer): Integer == <<foo body>>
@
<<foo body>>=
z := 1
for i in 1.. x repeat
<<auxiliary computation>>
h := <<post computation>>
<<binding z>>
z
@
<<auxiliary computation>>=
h := 1
for j in 1..i repeat
h := h + j
h := 2*h
@
<<post computation>>=
if h > 100
then
h-2
else
h+2
@
<<binding z>>=
h := 3*h
z := h
@
---END aaa.spad.pamphlet
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
