unofficial mirror of guile-user@gnu.org 
 help / color / mirror / Atom feed
* Moving char-set->arbitrary into quickcheck proper?
@ 2021-03-25 12:46 Maxime Devos
  0 siblings, 0 replies; only message in thread
From: Maxime Devos @ 2021-03-25 12:46 UTC (permalink / raw)
  To: Timothy Sample; +Cc: guile-user

[-- Attachment #1: Type: text/plain, Size: 457 bytes --]

Hi,

Could the following procure from tests/kinds/octal.scm
in disarchive ...

<start snip>
(define (char-set->arbitrary cs)
  (arbitrary
   (gen (choose-char cs))
   (xform (lambda (chr gen)
            (generator-variant (char->integer chr) gen)))))
<end snip>

... be moved to guile-quickcheck?  (quickcheck arbitrary)
I find that procedure useful for testing some parser code.
For now, I've simply copied the code.

Greetings,
Maxime

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 260 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-03-25 12:46 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-03-25 12:46 Moving char-set->arbitrary into quickcheck proper? Maxime Devos

unofficial mirror of guile-user@gnu.org 

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://yhetil.org/guile-user/0 guile-user/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 guile-user guile-user/ https://yhetil.org/guile-user \
		guile-user@gnu.org
	public-inbox-index guile-user

Example config snippet for mirrors.
Newsgroups are available over NNTP:
	nntp://news.yhetil.org/yhetil.lisp.guile.user
	nntp://news.gmane.io/gmane.lisp.guile.user


AGPL code for this site: git clone http://ou63pmih66umazou.onion/public-inbox.git