Re: [Haskell-cafe] Is SmallCheck maintained?

2011-11-22 Thread Johannes Waldmann

 On Mon, Nov 14, 2011 at 9:54 AM, Roman Cheplyaka roma at ro-che.info 
 wrote:

  Does anyone currently work on Test.SmallCheck?

not working on, but I'm using it in teaching.

The one change that I would want in SmallCheck
is that Serial should use size, not depth
(that is, not take the max over the subtrees, but the sum).
I think this would help somewhat against the explosion of test sets.

Yes, I can write Serial instances as I fancy
but it's the default instances  (for tuples, lists)
that I think should be changed. 
At least, an alternative should be provided.

On the other hand, that could easily be forked off as a student project,
so there is no hurry.

Best, Johannes.



___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Is SmallCheck maintained?

2011-11-17 Thread Jason Dagit
On Mon, Nov 14, 2011 at 9:54 AM, Roman Cheplyaka r...@ro-che.info wrote:
 Hi Cafe,

 Does anyone currently work on Test.SmallCheck?

I recall this being an unfortunate problem from the first release.  As
I recall the author was interested in getting the concept out there
but had no motivation (or was it interest?) in keeping it alive as a
project.

Sounds to me like you should plan on taking over if no one objects.

Good luck,
Jason

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Is SmallCheck maintained?

2011-11-16 Thread Erik de Castro Lopo
wren ng thornton wrote:

 I don't know whether it's being maintained either, but I'm willing to 
 help with the janitorial work since I use smallcheck and lazy-smallcheck 
 quite a lot and think they should be better advertised/used.

Hi Wren,

Sounds like a job for the haskell-pkg-janitors group:

https://github.com/haskell-pkg-janitors/

Feel free to join in.

Cheers,
Erik
-- 
--
Erik de Castro Lopo
http://www.mega-nerd.com/

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Is SmallCheck maintained?

2011-11-15 Thread wren ng thornton

On 11/14/11 12:54 PM, Roman Cheplyaka wrote:

Hi Cafe,

Does anyone currently work on Test.SmallCheck?

I see the following problems:

1. SC doesn't have a repository, issue tracker etc.
2. It is not integrated with popular test frameworks
3. API should be better documented

I'm willing to work on the above problems, but wanted to check first if
someone's already working on them or at least has a repository.

I already wrote to Colin Runciman but got no response.



I don't know whether it's being maintained either, but I'm willing to 
help with the janitorial work since I use smallcheck and lazy-smallcheck 
quite a lot and think they should be better advertised/used.


Last I heard there was some work on integrating the strict and lazy 
versions, but that was years ago... so it'd be nice if we could obtain 
the repo for the beginning of that work, since really they should be 
integrated.


--
Live well,
~wren

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


[Haskell-cafe] Is SmallCheck maintained?

2011-11-14 Thread Roman Cheplyaka
Hi Cafe,

Does anyone currently work on Test.SmallCheck?

I see the following problems:

1. SC doesn't have a repository, issue tracker etc.
2. It is not integrated with popular test frameworks
3. API should be better documented

I'm willing to work on the above problems, but wanted to check first if
someone's already working on them or at least has a repository.

I already wrote to Colin Runciman but got no response.

-- 
Roman I. Cheplyaka :: http://ro-che.info/

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe