These contracts are compatible with all of the forms of Racket's contract DSL except case-> (for case lambdas) which specifically expects -> subforms (not even ->*).
Provide an alternate version of case-> that is identical to the built-in one but also allows social contracts (and maybe even ->*? It might be easier to support it than to exclude it).
These contracts are compatible with all of the forms of Racket's contract DSL except
case->(for case lambdas) which specifically expects->subforms (not even->*).Provide an alternate version of
case->that is identical to the built-in one but also allows social contracts (and maybe even->*? It might be easier to support it than to exclude it).