From 634f5c9e0c4e8130fe18b653e8236ff09192c37f Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Thu, 8 Sep 2011 08:08:24 -0500 Subject: [PATCH] Removes now outdated comment --- collects/redex/private/reduction-semantics.rkt | 3 --- 1 file changed, 3 deletions(-) diff --git a/collects/redex/private/reduction-semantics.rkt b/collects/redex/private/reduction-semantics.rkt index abfcaa6cb3..fcfca2f1d8 100644 --- a/collects/redex/private/reduction-semantics.rkt +++ b/collects/redex/private/reduction-semantics.rkt @@ -1976,9 +1976,6 @@ (fold-clause (bind 'rhs-only) void (make-immutable-free-id-table) clause))) (fold-clause (bind 'rhs-only) do-tmpl (make-immutable-free-id-table) clause))) -;; Defined as a macro instead of an ordinary phase 1 function so that the -;; to-lw/proc calls occur after bindings are established for all meta-functions -;; and relations. (define-syntax (generate-lws stx) (syntax-case stx () [(_ relation? seq-of-lhs seq-of-lhs-for-lw seq-of-tl-side-cond/binds seq-of-rhs)