14 lines
295 B
Racket
14 lines
295 B
Racket
#lang racket
|
|
|
|
;; Test that `require/typed` works at the top-level
|
|
|
|
(require racket/sandbox)
|
|
|
|
(define evaluator
|
|
(call-with-trusted-sandbox-configuration
|
|
(λ () (make-evaluator 'typed/racket))))
|
|
|
|
(evaluator '(require/typed racket/base [values (Integer -> Integer)]))
|
|
(evaluator '(values 1))
|
|
|