Hi, everyone.
So, the background for this e-mail is the following macro:
http://pasterack.org/pastes/51673
In short, it allows me to do function definition closely connected with
contracts as well as test cases.
The problem I ran into last time I worked on this, though, is that I
can't actually
You really do need to do something special to lift out the tests in
that kind of situation. You could track the variables bound by the
outer use of define/tc and communicate them to the inner one and then
lift out a function that accepted the outer define/tc's arguments and
put that function into t
Hi, everyone.
So, the background for this e-mail is the following macro:
http://pasterack.org/pastes/51673
In short, it allows me to do function definition closely connected with
contracts as well as test cases.
The problem I ran into last time I worked on this, though, is that I
can't actually
3 matches
Mail list logo
