search

racket / rackunit

Other
18 stars 32 forks source link

typed: unsafe-provide macros #150

Closed bennn closed 2 years ago

bennn commented 2 years ago
  1. these macros are ok to go unsafely
  2. if they're unsafe, then weaker TR languages can reuse them

this helps typed/racket/no-check for now, and will help transient TR in the future