Hello, I get a ">> System error: Value stack overflow" when I use an abbreviation created for an Aldor compiled Domain.
Join a minimal Domain an an input file recreating the error.
Regards,
Antoine Hersen
Transcript off the error :
T1 := SomeDomainThatNeedToBeAbbriviated(x,F)
(5) SomeDomainThatNeedToBeAbbriviated(x,Fraction Integer)
Type: Domain
test: LFP
Type: Void
test := [0,0,1/x,x/(x**2+3)]
1 x
(7) [0,0,-,------]
x 2
x + 3
Type: List Fraction UnivariatePolynomial(x,Fraction Integer)
a1 := test :: T1
1 x
(8) D [0,0,-,------]
x 2
x + 3
Type: SomeDomainThatNeedToBeAbbriviated(x,Fraction Integer)
)abbrev domain AAA SomeDomainThatNeedToBeAbbriviated
AAA abbreviates domain SomeDomainThatNeedToBeAbbriviated
T2 := AAA(x,F)
(9) SomeDomainThatNeedToBeAbbriviated(x,Fraction Integer)
Type: Domain
a1 := test :: T1
Loading /home/antoine/project/dfinite_2/bug for domain
SomeDomainThatNeedToBeAbbriviated
>> System error:
Value stack overflow.
bug.as
Description: Binary data
bug.input
Description: Binary data
_______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
