typed-racket/typed-racket-test/succeed/unsafe-require-top-level.rkt
2015-10-01 17:41:03 -04:00

9 lines
121 B
Racket

#lang racket/load
(require typed/racket
typed/racket/unsafe)
(unsafe-require/typed racket/base [+ String])
+