suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Re-enable redex's overlapping arrows src loc information

Browse Source 
This reverts commit e5a84eff8d.
and also uses the property 'original-for-check-syntax
This commit is contained in:
Robby Findler 2013-05-13 18:35:46 -05:00
parent d51f6982e2
commit f79c93f74a
2 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/private/rewrite-side-conditions.rkt
View File

@ -87,8 +87,6 @@
(when the-use (when the-use
(define old (syntax-property void-stx 'disappeared-use)) (define old (syntax-property void-stx 'disappeared-use))
(set! void-stx (set! void-stx
void-stx ;; disable this for now.
#;
(syntax-property void-stx (syntax-property void-stx
'disappeared-use 'disappeared-use
(if old (cons the-use old) the-use))))) (if old (cons the-use old) the-use)))))

4
collects/redex/private/term-fn.rkt
View File

@ -103,9 +103,7 @@
;; shorten the span so it covers only up to the underscore ;; shorten the span so it covers only up to the underscore
(string-length (symbol->string nt)))) (string-length (symbol->string nt))))
(define the-id (datum->syntax table-entry nt the-srcloc id-stx)) (define the-id (datum->syntax table-entry nt the-srcloc id-stx))
(syntax-property the-id 'syncheck-original #t) (syntax-property the-id 'original-for-check-syntax #t)]
;; disable this for now
#f]
[else [else
#f])] #f])]
[else [else