[Oops - forgot to reply to all.]
To build a sketch of this, I've found module->exports, dynamic-require
and friends, but I think I'd need procedures along the lines of
function-contract? : any -> boolean
function-contract-domain-contracts : function-contract? ->
(listof contract?)
function-contract-range-contracts : function-contract? ->
(listof contract?)
I see contract?, flat-contract? etc, but I don't see anything that could
let me take apart a contract to use its pieces. Is there any such thing?
(Also there are, as usual, interesting wrinkles with search-by-example
with higher-order functions.)
Regards,
Tony
On 2011-08-06 3:13 PM, Tony Garnock-Jones wrote:
> Not with search by type, but at the risk of derailing the thread, I have
> had quite a few positive experiences with search by example.
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
