The attached program does not compile.
(1) -> )co ../foo.spad
Compiling FriCAS source code from file
/home/hemmecke/backup/git/qeta/tmp/../foo.spad using old system
compiler.
QXYZ abbreviates domain QXiYiZi
------------------------------------------------------------------------
initializing NRLIB QXYZ for QXiYiZi
compiling into NRLIB QXYZ
;;; *** |QXiYiZi| REDEFINED
WARNING: redefining BOOT::|QXiYiZi| in DEFUN
WARNING: redefining BOOT::|QXiYiZi;| in DEFUN
Time: 0.00 SEC.
QXYZ- abbreviates domain QXiYiZi&
>> System error:
The variable V is unbound.
===============================================
I probably do not see the obvious error in this program.
Can some help?
Strangely enough if I rename the variable V to W then it complains about
F. How can the name of a variable have influence in such an error?
===============================================
(1) -> )co ../foo.spad
Compiling FriCAS source code from file
/home/hemmecke/backup/git/qeta/tmp/../foo.spad using old system
compiler.
QXYZ abbreviates domain QXiYiZi
------------------------------------------------------------------------
initializing NRLIB QXYZ for QXiYiZi
compiling into NRLIB QXYZ
;;; *** |QXiYiZi| REDEFINED
WARNING: redefining BOOT::|QXiYiZi| in DEFUN
WARNING: redefining BOOT::|QXiYiZi;| in DEFUN
Time: 0.00 SEC.
QXYZ- abbreviates domain QXiYiZi&
>> System error:
The variable F is unbound.
The program compiles, if I remove the
basis: % -> List F
line. It also compiles with that line, if I remove the "add" part.
What am I doing wrong? Or is this a compiler bug?
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/1a970074-fb8c-173a-9d7d-5c46b7c8160e%40hemmecke.org.
)abbrev domain QXYZ QXiYiZi
QXiYiZi(V, F): Category == Exports where
V: Field
F: Algebra V
Exports ==> with
basis: % -> List F
numberOfGaps: % -> Integer
add -- default implementation
numberOfGaps(x: %): Integer == error "XXX"
