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

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Fri Mar 24 13:02:01 AEDT 2006


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?

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



More information about the developers mailing list