* 2nd Call for Papers *
* *
* Fourth Workshop on Bytecode Semantics, *
* Verification, Analysis and
hi,
2008/10/12 Marc Weber <[EMAIL PROTECTED]>:
> Surely I've overseen a small point. But I can't see it:
>
> class AddEl el_ el2_ elc_ where
> addEl :: el_ -> elc -> el2_ -- el, child
Did you mean "elc_" instead of "elc" in the type signature of addEl?
jan.
_
Hi Norman,
> But how do I use QuickCheck to check an existential?
The "standard" method in QuickCheck is to be constructive, and
actually implement the function that constructs for the value. So,
instead of
forAll x . exists y . P(x,y)
you write
forAll x . P(x, find_y(x))
for a suitably i
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On Sun, 12 Oct 2008 20:01:32 -0400
Gwern Branwen <[EMAIL PROTECTED]> wrote:>
> 'K. So SourceGraph doesn't do any error reporting? I'll keep that in mind.
In this case, it isn't SourceGraph's fault: Haskell-Src-Exts can't parse it.
Maybe it doesn't pa