Michael Malis

I added that information to the commit.

Thanks @stassats. The source of that problem is a weird edge case with `mismatch`. I have added another commit that fixes that problem.

I decided to try out check-it by writing some tests for one of my libraries. There were two main problems I ran in to. The `#G` reader macro solves one...

I actually do want to separate the individual test cases since shrinking becomes almost impossible when multiple tests are lumped together. What you are suggesting for `with-derived-values` may work wrt...

So I was able to get something really cool working by using a code walker. It is a macro `with-tests` which is allows for multiple check-that forms to use a...

I was using check-it to run some tests on an implementation of red-black trees and realized that there is a problem with the way you are using closures to keep...

This has to do with the lexical DSL. The implementation of red-black trees I was testing is [hh-redblack](https://github.com/hargettp/hh-redblack) (I thought there was a bug, but couldn't figure out how to...

It roughly expands into the following (`#:` represents a gensym): ``` (let ((#:generator (generator (tuple (list (integer)))))) (check-it% '(some-test tree) #:generator (lambda (#:args) (block #:test-block (destructuring-bind (#:generator-value) #:args ;; Now...

You definitely understand what I am trying to do with the DSL. Let me see if I can explain why I want it that way. The goal of a property...

I managed to get a proof of concept with integrating check-it with clunit. It is extremely hacky so I may see if there is another testing framework that is easier...