search

bennn / require-typed-scv

Typed Racket's `require/typed`, with soft contract verification
Other
1 stars 0 forks source link

Handle multi-line provides #1

Closed bennn closed 7 years ago

bennn commented 7 years ago

When removing provide statements from untyped modules, read from the (provide to the matching ) and drop all of it.

(Instead of reading to the end of the current line.)