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 Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer