Something I don't understand... you claim that retract$TestXDP works in 1.3.5
although retract in XDP is claimed to be not implemented as you show below. How
can that be?
That's the question here :) -- a mystery @moment.
Obviously something where only Wizard Waldek can help. ;-)
Ralf
--
You
On 24.04.2022 17:38, Ralf Hemmecke wrote:
>>> You do not need to create a new domain. It also fails to work with XDP in
>>> the
>>> latest master.
>>
>> I was aware about that, however, the strange thing is that this failed
>> already
>> in version 1.3.5.
>
> Something I don't understand...
You do not need to create a new domain. It also fails to work with XDP in the
latest master.
I was aware about that, however, the strange thing is that this failed already
in version 1.3.5.
Something I don't understand... you claim that retract$TestXDP works in
1.3.5 although retract in XDP
On 24.04.2022 17:14, Ralf Hemmecke wrote:
> Hi Kurt,
>
> You do not need to create a new domain. It also fails to work with XDP in the
> latest master.
I was aware about that, however, the strange thing is that this failed already
in version 1.3.5.
(2) ->
Hi Kurt,
You do not need to create a new domain. It also fails to work with XDP
in the latest master.
Actually, if I am not wrong than "A has C" only tells you that C is
explicitly mentioned in the exports of A, but not whether there is an
actual implementation for C.
(1) -> Expression
Some code using "retract" breaks since V1.3.7. I couldn't figure out which
revs might be accountable for. Any clues?
Here a minimal sample:
)abbrev domain TSTXDP TestXDP
TestXDP() : Exports == Implementation where
R ==> Expression Integer
SYM ==> Symbol
XFS ==> XFreeAlgebra(SYM,R)
