From e5a84eff8d3a14776e10defebca93b56cc2ccb50 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 5 May 2013 08:05:26 -0500 Subject: [PATCH] disable the extra information redex puts for check syntax ... because it results in programs that have different identifiers with overlapping ranges in the editor, something that check syntax is not yet prepared to deal with. --- collects/redex/private/rewrite-side-conditions.rkt | 2 ++ collects/redex/private/term-fn.rkt | 4 +++- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/redex/private/rewrite-side-conditions.rkt b/collects/redex/private/rewrite-side-conditions.rkt index 46bdc348f6..8344b22960 100644 --- a/collects/redex/private/rewrite-side-conditions.rkt +++ b/collects/redex/private/rewrite-side-conditions.rkt @@ -87,6 +87,8 @@ (when the-use (define old (syntax-property void-stx 'disappeared-use)) (set! void-stx + void-stx ;; disable this for now. + #; (syntax-property void-stx 'disappeared-use (if old (cons the-use old) the-use))))) diff --git a/collects/redex/private/term-fn.rkt b/collects/redex/private/term-fn.rkt index fac37cd35e..e1a1217da1 100644 --- a/collects/redex/private/term-fn.rkt +++ b/collects/redex/private/term-fn.rkt @@ -105,7 +105,9 @@ ;; shorten the span so it covers only up to the underscore (string-length (symbol->string nt)))) (define the-id (datum->syntax table-entry nt the-srcloc id-stx)) - (syntax-property the-id 'syncheck-original #t)] + (syntax-property the-id 'syncheck-original #t) + ;; disable this for now + #f] [else #f])] [else