:bow:

I have defined all these precise and quite expensive contracts for my code assuming it would be easy to disable them like assertions in other languages (I am just learning about contracts) but I can’t find an obvious way to do that. Am I missing something?

In particular I use define/contract

Unfortunately. There is no good way to disable them, especially for define/contract. For contract-out, you can use #:unprotected-submodule to generate a submodule that provides uncontracted values.

that sucks… I saw somewher that one can redefine contract-out

would that work with define/contract?

You can use this: https://docs.racket-lang.org/contract-etc/index.html#%28mod-path._contract-etc%2Fannotate%29\|https://docs.racket-lang.org/contract-etc/index.html#%28mod-path._contract-etc%2Fannotate%29

Perfect! thank you very much!