Removed dead code

2015-09-25 15:16:44 -04:00 · 2015-09-25 15:16:44 -04:00 · 2666080278
commit 2666080278
parent 1fd96f0140
1 changed files with 0 additions and 6 deletions
--- 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:)