[Axiom-developer] Bug with abbrev and aldor domain

[Antoine Hersen]

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