Does anyway see, why there is a compilation problem with the attached file?
I get the following error.
%%% (301) -> )co ../foo
Compiling FriCAS source code from file
/home/hemmecke/backup/git/qeta/tmp/../foo.spad using old system
compiler.
FOO abbreviates package Foo
------------------------------------------------------------------------
initializing NRLIB FOO for Foo
compiling into NRLIB FOO
compiling exported foo : () -> Polynomial C
debugger invoked on a SIMPLE-CONDITION in thread
#<THREAD "main thread" RUNNING {100295C183}>:
break
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [CONTINUE] Return from BREAK.
1: [ABORT ] Exit from the current thread.
(|compMapCond'| (NIL (ELT C 0)) |coerce| C NIL ((((#:G36442 (|mode|
|Fraction| #)) (|qpol| (|value| # # #) (|mode| |Polynomial| #)) (|/\\|
(|modemap| #)) (< (|modemap| #)) (<= (|modemap| #)) (= (|modemap| # #))
(> (|modemap| #)) (>= (|modemap| #)) (T$ (|modemap| #)) (|\\/|
(|modemap| #)) (|_\|_| (|modemap| #)) (|and| (|modemap| #)) ...))))
error finding frame source: Bogus form-number: the source file has
probably
changed too much to cope with.
source: NIL
0]
====================
If I enter 0 at this prompt, the compilation continues seemingly
successfully.
====================
0] 0
Time: 0.01 SEC.
(time taken in buildFunctor: 226)
;;; *** |Foo| REDEFINED
;;; *** |Foo| REDEFINED
Time: 0 SEC.
Cumulative Statistics for Constructor Foo
Time: 0.01 seconds
finalizing NRLIB FOO
Processing Foo for Browser database:
--->/home/hemmecke/backup/git/qeta/tmp/../foo.spad-->Foo(constructor):
Not documented!!!!
--->/home/hemmecke/backup/git/qeta/tmp/../foo.spad-->Foo((foo
((Polynomial C)))): Not documented!!!!
--->/home/hemmecke/backup/git/qeta/tmp/../foo.spad-->Foo(): Missing
Description
; compiling file "/home/hemmecke/backup/git/qeta/tmp/FOO.NRLIB/FOO.lsp"
(written 16 MAY 2024 12:30:49 PM):
; wrote /home/hemmecke/backup/git/qeta/tmp/FOO.NRLIB/FOO.fasl
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
Foo is already explicitly exposed in frame initial
Foo will be automatically loaded when needed from
/home/hemmecke/backup/git/qeta/tmp/FOO.NRLIB/FOO
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/b1141ed8-b0b7-4efd-af55-8e0be4ab1a12%40hemmecke.org.
)abbrev package FOO Foo
Foo(C): Exports == Implementation where
C: Field
QQ ==> Fraction Integer
Exports ==> with
if C has coerce: QQ -> C then
foo: () -> Polynomial C
Implementation ==> add
if C has coerce: QQ -> C then
foo(): Polynomial C ==
qpol: Polynomial QQ := 1
map(coerce, qpol)$PolynomialFunctions2(QQ, C)
