[m-dev.] Solver/trail broken sample

[doug.auclair at logicaltypes.com]

Dear all,

While exploring solver types and the nice example implementation with var.m, I tried to run the vqueens.m sample provided in the extras/ distribution.

The compilation failed with a mode error against var.freeze/2 (vqueens.m:069 was the line of failure).

Has something changed in the mode system or in extras/ (var or vqueens) that now cause this sample to fail compilation?  Could it please be fixed?

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------