From 2666080278d18ae9c406d9ffb6a461aa8d439038 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Fri, 25 Sep 2015 15:16:44 -0400 Subject: [PATCH] Removed dead code --- stdlib/sugar.rkt | 6 ------ 1 file changed, 6 deletions(-) diff --git a/stdlib/sugar.rkt b/stdlib/sugar.rkt index 5c3d257..f5fed7c 100644 --- a/stdlib/sugar.rkt +++ b/stdlib/sugar.rkt @@ -67,12 +67,6 @@ [(define id body) #'(real-define id body)])) -(define-syntax (define-rec syn) - (syntax-case syn (:) - [(_ (name (a : t) ... : t_res) body) - #'(define name (fix (name : (forall* (a : t) ... t_res)) - (lambda* (a : t) ... body)))])) - (begin-for-syntax (define (rewrite-clause clause) (syntax-case clause (: IH:)