Re: [gobo-eiffel-develop] invariant violation with SE in {MA_DECIMAL}.is_equal

[Colin P. A. <co...@co...>]

>>>>> "Eric" == Eric Bezault <er...@go...> writes:

    Eric> Colin Paul Adams wrote: The reason why you don't get it in
    Eric> ISE is probably because it is an invariant violated while
    Eric> checking another assertion.
    >> I see. What I can't find at the moment is the invariant clause
    >> that is failing.

    Eric>  From what I could see in the SE exception trace, it looks
    Eric> like you have a decimal object which is not special (special
    Eric> = 0) and which has a Void `coefficient'. This violates one
    Eric> of the invariants of MA_DECIMAL. Now I don't know why we get
    Eric> such a inconsistent decimal.

The decimal concerned prints as:

[0,2,0]

so the coefficient is not zero.

Should I send the full exception trace?
-- 
Colin Paul Adams
Preston Lancashire