joshibharathiramana
2021-6-18 11:39:01

Is there a tutorial on how to use quickcheck for a racket/scheme compiler? I’d like to use it to test a toy compiler I’ve been hacking on


samth
2021-6-18 13:29:25

Yes, I see tooltips moving the text around as well, but with 26.3


hazel
2021-6-18 15:37:01

ah, plot-line-width is what I wanted, thanks


ben.knoble
2021-6-18 16:43:18

Is this quickcheck the haskell property-based testing library? I should think you would want a generator for scheme/racket forms, but what the output should be compared to I’m not sure. Running racket with the same forms, for example, can only test certain classes of properties (eg, comparing outputs). But maybe I’ve misunderstood…


massung
2021-6-18 17:11:27

So, John Hughes is awesome. There’s the quickcheck Haskell library, but John also runs quivq: http://www.quviq.com\|http://www.quviq.com and that version of quickcheck can interface with C so I can imagine racket is then possible as well.


ben.knoble
2021-6-18 17:23:34

Neat! I don’t know the answer to your question, but figured extra details wouldnt help


joshibharathiramana
2021-6-18 23:38:18

@ben.knoble yup that’s what I had in mind. Generate programs, run them in both my compiler and racket’s compiler and compare the outputs.


ben.knoble
2021-6-19 00:31:56

Well, as far as the racket compiler, there’s raco make and zo files, but IIUC those are considered unstable?


notjack
2021-6-19 01:40:17

I wrote a macro for infix comparisons using rebellion/base/comparator


popa.bogdanp
2021-6-19 06:15:47

I’m trying to implement a GUI canvas that displays a single snip. One kind of snip I want to display are plots and I’ve managed to do that successfully. However, when I add overlay renderers to a plot and then move my mouse over it repeatedly, the time it takes to redraw keeps increasing without bound after every “tick”. When I use an editor-canvas with a pasteboard, this problem doesn’t occur so I must be missing something about how editors/admins/canvases and snips are supposed to interact with one another, but I haven’t been able to figure out what. Here’s an example that reproduces my issue:

https://gist.github.com/Bogdanp/e6e2cda80197df61e5ecc2fc2a051e00