[m-dev.] hehehe, ROTD-2006-03-22 breaks extras/quickcheck/qcheck.m

[Julien Fischer]

On Thu, 23 Mar 2006 doug.auclair at logicaltypes.com wrote:

> So, it appears there's been some work done on std_util, eh?
>
> qcheck.m now has errors all over the place, starting with
>
> qcheck.m:081: In definition of type `qcheck.use_gen_type'/0:
> qcheck.m:081:   error: undefined type `type_desc'/0
>
> This is also the ROTD qcheck.m.  I'm fixing the errors, do you
> wish me to post a fixed version, when I get there?
>

Don't bother I've already done it - I'm just haven't committed it yet.

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