[m-dev.] TypeClassInfo var being reported in error message

[Julien Fischer]

On Wed, 23 Apr 2008, Ralph Becket wrote:

> I'm getting the following error with some code of Jakob's I'm adjusting:
>
> flatzinc_colgen_solver.m:1008: Error: the `promise_equivalent_solutions' goal
> flatzinc_colgen_solver.m:1008:   binds a variable that is not listed:
> flatzinc_colgen_solver.m:1008:   TypeClassInfo_for_flatzinc_solver.
> flatzinc_colgen_solver.m:1015: In clause for `fcb_post_constraint(in, in, ia,
> flatzinc_colgen_solver.m:1015:   ia, di, uo)':
> flatzinc_colgen_solver.m:1015:   in argument 5 of call to predicate
> flatzinc_colgen_solver.m:1015:   `flatzinc_solver.post_constraint'/6:
> flatzinc_colgen_solver.m:1015:   mode error: variable `STATE_VARIABLE_PQ_0' has
> flatzinc_colgen_solver.m:1015:   instantiatedness `mostly_unique',
> flatzinc_colgen_solver.m:1015:   expected instantiatedness was `unique'.

...

> As I understand it, I shouldn't be seeing any mention of
> TypeClassInfo_for_flatzinc_solver in an error message.  What to do?

I've committed a fix for this.

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------