Re: Bug in suspend (or fd)

> Note that the call to suspend has given X an "fd" attribute (left
> unbound) (same thing happens for other solvers).  Is this intentional?
> If not, is it supposed to be harmless?  Because it isn't, at least in
> the case of fd:

When a variable becomes an attributed variable (in this case because it
needs a suspend-attribute), it acquires uninstantiated slots for every
declared attribute. It is supposed to be harmless, the attribute-adding
code must handle both cases, the one where the variable must be turned
into an attributed variable, and the one where it already has attributes
and only the one in question is not yet there.


> I have a hack for fd (ugh, I hate low-level C code with unhelpful
> variable names and no comments) which works around this (appears to let
> me do what I want to do), but don't know whether suspend ought to be
> "fixed" or not.
> 
> Cheers,
> Warwick

Warwick fixed this (5.2)