[m-dev.] Solver/trail broken sample

Julien Fischer juliensf at csse.unimelb.edu.au
Sat Jul 8 15:15:58 AEST 2006

On Fri, 7 Jul 2006 doug.auclair at logicaltypes.com wrote:

> 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?

Lots of things have changed - the examples in extras/trailed_update pre-date
the current incarnation of solver types.  We'll take a look at it.

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