[Yhc] Testing QuickCheck properties with Yhc
isaacdupree at charter.net
Fri Nov 10 10:42:41 EST 2006
-----BEGIN PGP SIGNED MESSAGE-----
Neil Mitchell wrote:
>> To test using ghc, I pass the argument
>> - -main-is $MODULE_NAME.$TESTMAIN_NAME
>> (where $MODULE_NAME is found out by the script).
> I guess we need a --main-is flag as well.
> I have openned a bug for it:
Should this be a yhc or a yhi option, or both... do the bytecode files
have enough information in them? Just wondering...
> How critical is this to you? I've openned it as Priority-Low, but if
> its important to you am happy to bump that a bit.
>> Any advice on how to do the same thing for Yhc -- execute an IO action
>> defined in the top level of an arbitrary module, but not exported from
>> the module?
> We also have -exportall, which makes everything exported from a
> module, if that gives you any luck.
"-exportall" was enough of a workaround that I found out that I couldn't
use QuickCheck with Yhc yet... Yhc doesn't have it directly, and the
implementation uses System.Random, which Yhc doesn't have and whose
implementation needs IORefs and probably time primitives, neither of
which I could find in Yhc.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the Yhc