[Yhc] Testing QuickCheck properties with Yhc

[Isaac]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Neil Mitchell wrote:
> Hi
> 
>> 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:
> http://code.google.com/p/yhc/issues/detail?id=79

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.

Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFFVJ3wHgcxvIWYTTURAr6VAJ4z8akBKNUrvo5F/Y8Paj9YlJ3wbQCgl3mg
yIMGYrz1vJn8Ngb9zxSHEHw=
=P9uY
-----END PGP SIGNATURE-----