@pocmatos I’ve worked on that project a little, and I don’t think it’s easy to do that yet
You’re most likely to have success sending PRs to improve the data model
@notjack that’s unfortunate. For larger projects creation of new generators is a must. Can’t be that hard. If I have a struct of two integers, creating a generator for the struct by reusing the generator for integers should really be straightforward. :disappointed: Thanks anyway.
@pocmatos Have you seen the Hypothesis python library?
it’s a very advanced property testing library that does some really neat things with how generators / arbitraries are represented
in particular, under Hypothesis’s model generators monadically compose and allow effective shrinking to be derived automatically for a composed generator
yes, I use Hypothesis regularly. However, this specific project is racket-based. Unless you know of a solution on how to plug Hypothesis with racekt.
I think implementing hypothesis’s representation of arbitraries into the racket quickcheck library would be a really great thing to do
although that would take more time than you likely have if you’re trying to just use quickcheck in your racket project
understood but I am juggling quite a few balls at the moment. Unlikely I will able to pick up on that tbh.
completely understandable
it’s on my list of things to do eventually in some Far Distant Future where somebody’s finally invented a way to freeze life responsibilities indefinitely
@robby, @mflatt a student of mine is seeing the following bug on Win10FCU, DrR6.11: “Whenever I sleep my computer with DrR running, it gives me the following error when I wake it up. Resolved by closing and restarting DrR.”
Before I file a bug report, what extra diagnostic info would be useful to you, and how do I collect it with this student?
@blerner I think that’s enough information for us to find the bug
what’s the necessary magic to get rid of my relative path requires all over my project and use collection like paths? i.e. (require myproject/lib/utils)
as opposed to (require "../src/lib/utils.rkt")
?
how about installing myproject
as a package? SOME-PATH/myproject $ raco pkg install
@brian has joined the channel