I must be doing something wrong, but I do not see what.
Attached you can find a minimal example that does not compile
if line (*1) is uncommented. The compiler has no problem to compile
the cases (*2) and (3).
I thought that the Join with two categories might be a problem, but no
such things appear in the FriCAS algebra sources, for example, in rec.spad.
Ralf
%%% (144) -> )co ../foobug.spad
Compiling FriCAS source code from file
/home/hemmecke/backup/git/qeta/tmp/../foobug.spad using old
system compiler.
Q1PI abbreviates package QEtaOneOverPi
------------------------------------------------------------------------
initializing NRLIB Q1PI for QEtaOneOverPi
compiling into NRLIB Q1PI
>> System error:
formatInfo
--
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/4cb7bfeb-8704-41b9-b8d4-b448cb2f1186%40hemmecke.org.
)abbrev package Q1PI QEtaOneOverPi
QEtaOneOverPi(C): Exports == Implementation where
C: IntegralDomain
NN ==> NonNegativeInteger
Exports ==> with
if C has Join(OrderedRing,Field) then -- (*2)
-- if C has Join(OrderedRing) then -- (*2)
-- if C has Join(Field) then -- (*3)
kleinJInterval: (NN, C, C, C) -> Segment C
Implementation ==> add
foo(): Integer == 1
