[m-dev.] Solver/trail broken sample

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Sat Jul 8 06:16:21 AEST 2006

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?

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

More information about the developers mailing list