From f79c93f74afcfa5693a8cc12d46484b8fb6beb22 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 13 May 2013 18:35:46 -0500 Subject: [PATCH] Re-enable redex's overlapping arrows src loc information This reverts commit e5a84eff8d3a14776e10defebca93b56cc2ccb50. and also uses the property 'original-for-check-syntax --- collects/redex/private/rewrite-side-conditions.rkt | 2 -- collects/redex/private/term-fn.rkt | 4 +--- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/collects/redex/private/rewrite-side-conditions.rkt b/collects/redex/private/rewrite-side-conditions.rkt index 8344b22960..46bdc348f6 100644 --- a/collects/redex/private/rewrite-side-conditions.rkt +++ b/collects/redex/private/rewrite-side-conditions.rkt @@ -87,8 +87,6 @@ (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 b3680fb1ca..8b3cd3256f 100644 --- a/collects/redex/private/term-fn.rkt +++ b/collects/redex/private/term-fn.rkt @@ -103,9 +103,7 @@ ;; 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) - ;; disable this for now - #f] + (syntax-property the-id 'original-for-check-syntax #t)] [else #f])] [else