From 33ddd747c3dfe8039d5a20088ba020b7ab5c2ef8 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 16 Jan 2022 20:48:20 +0100
Subject: [PATCH] Start a typed section in utils.

---
 utils.rkt | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

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)]