stlc-dll: add back check cases, inline and fix replace, implement well-formed

1 files changed, 0 insertions, 5 deletions

diff --git a/lib.rkt b/lib.rkt
index 6d431fd..29d3b83 100644
--- a/lib.rkt
+++ b/lib.rkt
@@ -154,8 +154,3 @@
 (check-equal? '(λ a (λ b (λ c (a (b c)))))
   (α-convert '(λ c (λ a (λ b (c (a b)))))))
 
-(define (replace expr key value)
-  (match expr
-    [x #:when (equal? x key) value]
-    [`(,e ...) `(,@(map (λ (x) (replace x key value)) e))]
-    [v v]))