Edit detail for SandBoxPileNotation revision 1 of 1

changed:
-
Example of wrong indentation.

On August 19, 2006 12:47 PM Vanuxem Grégory wrote::
 
  Is this bug reproducible ?
 
  If someone can try to compile, in a fresh new axiom session,
  the attached file. I get a segmentation fault [when compiling
  the code using SPAD]

The aldor compiler gives a more reasonable result.
\begin{aldor}
#include "axiom"
#pile
MyIndexedOneDimensionalArray(S:Type, mn:Integer):_
                 Exports == Implementation where
   Qsetelt ==> SETELT$Lisp
   Qnew ==> GETREFV$Lisp
 
  Exports == OneDimensionalArrayAggregate S with
 
    myProperty
 
  Implementation == add
 
   minIndex x       == mn 

\end{aldor}

Correct indentation
\begin{aldor}
#include "axiom"
#pile
MyIndexedOneDimensionalArray(S:Type, mn:Integer):_
Exports == Implementation where
    Qsetelt ==> SETELT$Lisp
    Qnew ==> GETREFV$Lisp
 
    Exports == OneDimensionalArrayAggregate S with
 
        myProperty
 
    Implementation == add
 
        minIndex(x:%):Integer == mn 

\end{aldor}

  Is this bug reproducible ?

  If someone can try to compile, in a fresh new axiom session,
  the attached file. I get a segmentation fault [when compiling
  the code using SPAD]

(1) -> <aldor>
#include "axiom"
#pile
MyIndexedOneDimensionalArray(S:Type, mn:Integer):_
                 Exports == Implementation where
   Qsetelt ==> SETELT$Lisp
   Qnew ==> GETREFV$Lisp

  Exports == OneDimensionalArrayAggregate S with

    myProperty

  Implementation == add

   minIndex x       == mn</aldor>

Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/2129260382931220326-25px001.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.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/2129260382931220326-25px001.as", line 1: 
#include "axiom"
^
[L1 C1] #1 (Error) Could not open file `axiom'.

   The )library system command was not called after compilation.

#include "axiom"
#pile
MyIndexedOneDimensionalArray(S:Type, mn:Integer):_
Exports == Implementation where
    Qsetelt ==> SETELT$Lisp
    Qnew ==> GETREFV$Lisp

    Exports == OneDimensionalArrayAggregate S with

        myProperty

    Implementation == add

        minIndex(x:%):Integer == mn

   Compiling FriCAS source code from file 
      /var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/7122011750684548101-25px002.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.
"/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/7122011750684548101-25px002.as", line 1: 
#include "axiom"
^
[L1 C1] #1 (Error) Could not open file `axiom'.

   The )library system command was not called after compilation.