From 02d5384674c8549874f40969a3c1ce0a49ef10e3 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 1 Mar 2020 20:25:01 +0100
Subject: [PATCH] rs: Switch to #lang racket, but keep the types where they
 work.

---
 rs-tests.rkt | 4 ++--
 rs.rkt       | 7 ++++---
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/rs-tests.rkt b/rs-tests.rkt
index b185221..73ceb78 100644
--- a/rs-tests.rkt
+++ b/rs-tests.rkt
@@ -1,8 +1,8 @@
-#lang typed/racket
+#lang racket
 
 ;;; Tests for dds/rs.
 
-(require typed/rackunit "rs.rkt")
+(require rackunit "rs.rkt")
 
 (test-case "Basic definitions"
   (let* ([r1 (reaction (set 'x) (set 'y) (set 'z))]
diff --git a/rs.rkt b/rs.rkt
index 34faefa..8075ac7 100644
--- a/rs.rkt
+++ b/rs.rkt
@@ -1,11 +1,12 @@
-#lang typed/racket
+#lang racket
+
+(require typed/racket)
 
 ;;; dds/rs
 
 ;;; Definitions for working with reaction systems.
 
-(require/typed "utils.rkt"
-  [string->any (String -> Any)])
+(require "utils.rkt")
 
 (provide
  ;; Structures