Start a typed section in utils.

This commit is contained in:
Sergiu Ivanov 2022-01-16 20:48:20 +01:00
parent e3e50c99ea
commit 33ddd747c3

View file

@ -8,6 +8,21 @@
graph graph
(for-syntax syntax/parse racket/list)) (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 (provide
;; Functions ;; Functions
(contract-out [eval-with (-> variable-mapping? any/c any)] (contract-out [eval-with (-> variable-mapping? any/c any)]