6.2.900.17
11 Unsafe Typed Racket operations
| (require typed/racket/unsafe) | package: typed-racket-lib |
Warning: the operations documented in this section are unsafe, meaning that they can circumvent the invariants of the type system. Unless the #:no-optimize language option is used, this may result in unpredictable behavior and may even crash Typed Racket.
This form requires identifiers from the module m with the same
import specifications as require/typed.
Unlike require/typed, this form is unsafe and will not generate contracts that correspond to the specified types to check that the values actually match their types.
Added in version 1.3 of package typed-racket-lib.
This form declares exports from a module with the same syntax as
the provide form.
Unlike provide, this form is unsafe and Typed Racket will not generate any contracts that correspond to the specified types. This means that uses of the exports in other modules may circumvent the type system’s invariants.
Added in version 1.3 of package typed-racket-lib.