refactor all implementations to use contracts

1 files changed, 0 insertions, 29 deletions

diff --git a/tests/stlc-imp.rkt b/tests/stlc-imp.rkt
deleted file mode 100644
index 44e0c17..0000000
--- a/tests/stlc-imp.rkt
+++ /dev/null
@@ -1,29 +0,0 @@
-#lang racket
-(require (except-in rackunit check))
-(require "../stlc-imp.rkt")
-
-(define-test-suite landins-knot
-  (check-exn
-    exn:fail?
-    (λ () (infer '
-      (let (id : (Nat → 1 Nat)) (λ x x)
-      (let (r : (Ref (Nat → 0 Nat))) (new id)
-      (let (f : (Nat → 1 Nat)) (λ x ((! r) x))
-      (set r f
-      (f 0))))))))
-
-  (check-eq? ; fixme: this should fail
-    (infer '
-      (let (id : (Nat → 0 Nat)) (λ x x)
-      (let (r : (Ref (Nat → 0 Nat))) (new id)
-      (let (f : (Nat → 1 Nat)) (λ x ((! r) x))
-      (f 0)))))
-    'Nat)
-
-  (check-true
-    (check '
-      (let (id : (Nat → 0 Nat)) (λ x x)
-      (let (r : (Ref (Nat → 0 Nat))) (new id)
-      (let (f : (Nat → 1 Nat)) (λ x ((! r) x))
-      (f 0))))
-      'Nat)))