When we add Join(finiteAggregate) it works; strange isn't it. Why?
)abbrev domain FOO Foo
Foo(): Exports == Implementation where
Exports == Join(finiteAggregate) with
foo: () -> Boolean
Implementation == add
foo(): Boolean ==
a: List List Integer := empty()
b: List List Integer := empty()
a < b
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
Foo is now explicitly exposed in frame initial
Foo will be automatically loaded when needed from
/Users/kfp/Desktop/work/spad/FOO.NRLIB/FOO
(2) -> )sh FOO
Foo is a domain constructor.
Abbreviation for Foo is FOO
This constructor is exposed in this frame.
1 Names for 1 Operations in this Domain.
------------------------------- Operations --------------------------------
foo : () -> Boolean
(2) -> foo()
(2) false
Type: Boolean
(3) ->
On 21.02.2020 16:53, Waldek Hebisch wrote:
> On Wed, Feb 19, 2020 at 10:19:45PM +0100, Ralf Hemmecke wrote:
>> Since we are at interpreter error messages.
>> I get ...
>>
>> (210) -> onetnStep! ycomp
>>
>> >> System error:
>> The function BOOT::|*1;onetnStep!;1;initial| is undefined.
>
> I consider this as interpreter bug. Interpreter is producing
> specialized versions of functions on demand, but in some
> cases this machinery fails.
>
>> It's hard to track this down. Maybe there is a generic solution to it
>> that I don't know of.
>
> Write simpler code :( Unfortunatly interpreter is buggy and
> more complicated code is more likely to find bugs.
>
> I have fixed a bunch of interpreter bugs, but may feeling is that
> to make definite progress we need to rewrite it almost from
> scratch. The diffeculty of rewrite is mostly that current
> interpreter also have nice features and we would like to
> preserve them.
>
--
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/dfca70c9-3690-9633-b46e-be321711ebee%40gmail.com.
