cannot compile default implementation

[Ralf Hemmecke]

The attached program only compiles, if I uncomment ")fin".
It is also problematic if I remove the "if R has Field then" part, i.e.
make the export and default implementation unconditional.

Any idea what the problem is?

Ralf

%%% (144) -> )co ../foo.spad
Compiling FriCAS source code from file
/home/hemmecke/backup/git/qeta/tmp/../foo.spad using old system
compiler.
Illegal NRLIB
FOONRLIB claims that its constructor name is the domain Foo but Foo
is already known to be the for category FOO .
FOO abbreviates domain Foo
------------------------------------------------------------------------
initializing NRLIB FOO for Foo
compiling into NRLIB FOO

;;; *** |Foo| REDEFINED
WARNING: redefining BOOT::|Foo| in DEFUN
WARNING: redefining BOOT::|Foo;| in DEFUN
Time: 0 SEC.

FOO- abbreviates domain Foo&

>> System error:
The variable R is unbound.

[Waldek Hebisch]

On Fri, Apr 04, 2025 at 06:26:30PM +0200, 'Ralf Hemmecke' via FriCAS - computer algebra system wrote:
> The attached program only compiles, if I uncomment ")fin".
> It is also problematic if I remove the "if R has Field then" part, i.e. make
> the export and default implementation unconditional.
>
> Any idea what the problem is?

> )abbrev domain FOO Foo
^^^^^^
use category

> Foo(R: OrderedRing): Category ==
^^^^^^^^

--
Waldek Hebisch