Only require racket/contract when necessary

bennn / require-typed-scv

Typed Racket's `require/typed`, with soft contract verification

Other

1 stars 0 forks source link

Open bennn opened 7 years ago

bennn commented 7 years ago

You did great removing soft-contract/fake-contract. New problem:

before creating a (provide (contract-out ....))
may need to require racket/contract
right now, always doing so, which is fine for #lang racket
but should really check somehow to see if the require's needed (syntax-local-value, dynamic-require?)