[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Questions (Bugs?)

From: David MENTRE
Subject: Re: [Axiom-developer] Questions (Bugs?)
Date: Sat, 29 Nov 2003 18:46:18 +0100
User-agent: Gnus/5.1002 (Gnus v5.10.2) Emacs/21.2 (gnu/linux)

Hello Tim,

root <address@hidden> writes:

> The third example (there is a typo Cateroy should be Category)
> does fail and should be added to the bug list. The interpreter
> uses a different parser than the compiler. 
> You can correctly compile this code by making a file (say, f.spad) thus:
> )abbrev category MYCAT MyCat
> MyCat:Category == with { new: ()->% }
> The system needs the ")abbrev" line.
> Then do:
>   )co f.spad

I don't understand what you have said. You meant that above code can
compile in a file (f.spad) but does not compiled in the interpreter? Is
this the bug?

In the interpreter:

(2) -> )abbrev category MYCAT MyCat
   MYCAT abbreviates category MyCat 
(2) -> MyCat:Category == with { new: ()->% }
   Internal Error
   Unexpected error in call to system function pf2Sex1 

In a file:

address@hidden:/tmp$ cat > f.spad
)abbrev category MYCAT MyCat
MyCat:Category == with { new: ()->% }
address@hidden:/tmp$ axiom

(AXIOM Sockets) The AXIOM server number is undefined.
                        AXIOM Computer Algebra System 
             Version of Thursday November 27, 2003 at 20:51:53 
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading category.daase
   Re-reading browse.daase

"running ~david/axiom.input"
Value = NIL
(1) -> )co f.spad
   Compiling AXIOM source code from file /tmp/f.spad using old system 
   MYCAT abbreviates category MyCat 
   initializing NRLIB MYCAT for MyCat 
   compiling into NRLIB MYCAT 

;;;     ***       |MyCat| REDEFINED
Time: 0 SEC.

   finalizing NRLIB MYCAT 
   Processing MyCat for Browser database:
--->-->MyCat((brace (attribute (construct (: new (Mapping %)))))): Not 
--->-->MyCat(constructor): Not documented!!!!
--->-->MyCat(): Missing Description
Compiling /tmp/./MYCAT.NRLIB/code.lsp.
; (DEFUN |MyCat| ...) is being compiled.
;; The variable |MyCat;AL| is undefined.
;; The compiler will assume this variable is a global.
;; Warning: The variable #:G1407 is not used.
End of Pass 1.  
End of Pass 2.  
OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3
Finished compiling /tmp/./MYCAT.NRLIB/code.lsp.
   MyCat is now explicitly exposed in frame initial 
   MyCat will be automatically loaded when needed from 

(1) -> 

David MENTRE <address@hidden> --

reply via email to

[Prev in Thread] Current Thread [Next in Thread]