GNU bug report logs - #47027
Disarchive package

Previous Next

Full log

Message #14 received at 47027 <at> debbugs.gnu.org (full text, mbox):

From: Leo Prikler <leo.prikler <at> student.tugraz.at>
To: Timothy Sample <samplet <at> ngyro.com>, 47027 <at> debbugs.gnu.org
Subject: Re: [PATCH 1/2] gnu: Add guile-quickcheck.
Date: Wed, 10 Mar 2021 11:00:09 +0100

This package seems fine to add on its own.
W.r.t. the description I'd avoid overusing the word "library".  In
particular, I'd like to compare it to ghc-quickcheck, which starts with
"QuickCheck is a library".
Perhaps something among the lines of 
  "Guile-Quickcheck is a library for random testing of program
properties inspired similar to ghc-quickcheck.  You can use it to
express properties, which functions should satisfy, as Scheme code and
then check whether they hold in a large number of randomly generated
cases."
would make more sense?

Regards,
Leo

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.