On Wed, Apr 25, 2007 at 03:22:33AM +0200, Twan van Laarhoven wrote:
> Wouter Swierstra wrote:
> >Test.IOSpecVersion 1.0
> Shouldn't that be 0.1?
>
> > * Test.IOSpec.Teletype: a specification of getChar and putChar.
>
> You use Dynamic for the data type in IORefs, this has the unf
Wouter Swierstra wrote:
Test.IOSpecVersion 1.0
Shouldn't that be 0.1?
* Test.IOSpec.Teletype: a specification of getChar and putChar.
You use Dynamic for the data type in IORefs, this has the unfortunate
consequence of needing Typeable constraints. You could try to use
un
On Mon, Apr 23, 2007 at 04:16:56PM +0100, Wouter Swierstra wrote:
>
> * If you're an ICFP referee, you may want to avoid reading any further*
>
>
> Test.IOSpec Version 1.0
>
>
> I'm pleased to announce the first release of the Test.IOSpec library,
> that provides a
On Tue, Apr 24, 2007 at 07:36:07PM -0400, Isaac Dupree wrote:
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> Wouter Swierstra wrote:
> >
> > * If you're an ICFP referee, you may want to avoid reading any further*
> >
> >
> > Test.IOSpecVersion 1.0
> >
> >
> > I'm please
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Wouter Swierstra wrote:
>
> * If you're an ICFP referee, you may want to avoid reading any further*
>
>
> Test.IOSpecVersion 1.0
>
>
> I'm pleased to announce the first release of the Test.IOSpec library,
> that provides a pure spe
* If you're an ICFP referee, you may want to avoid reading any further*
Test.IOSpec Version 1.0
I'm pleased to announce the first release of the Test.IOSpec library,
that provides a pure specification of some functions in the IO monad.
This may be of interest t
