[m-dev.] Solver/trail broken sample

[Julien Fischer]

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.

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------