www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | Submodules | README | LICENSE

eval-get-values.rkt (502B)

      1 #lang typed/racket
      2 (require "typed-untyped.rkt")
      3 (define-typed/untyped-modules #:no-test
      4   (module m racket/base
      5     (provide eval-get-values)
      6     
      7     (define (eval-get-values expr [namespace (current-namespace)])
      8       (call-with-values (λ () (eval expr namespace)) list)))
      9 
     10   (require "typed-untyped.rkt")
     11   (if-typed
     12    (begin
     13      (require typed/racket/unsafe)
     14      (unsafe-require/typed 'm [eval-get-values (->* (Any) (Namespace) (Listof Any))]))
     15    (require 'm))
     16   
     17   (provide eval-get-values))