[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