diff --git a/utils.rkt b/utils.rkt index c4c066a..6f082ac 100644 --- a/utils.rkt +++ b/utils.rkt @@ -8,6 +8,21 @@ graph (for-syntax syntax/parse racket/list)) +;;; Typed section. + +(module typed typed/racket + (require typed/graph + (for-syntax syntax/parse racket/list)) + (provide (all-defined-out)) + + (define a 1)) + +(require 'typed) + +(displayln a) + +;;; Untyped section. + (provide ;; Functions (contract-out [eval-with (-> variable-mapping? any/c any)]