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

adjust the lw construction in Redex so that it uses the width of the

Browse Source 
"canonical" way to write symbols, instead of the way they are displayed.
This makes a difference for symbols that have spaces in them or symbols
that, when displayed, look like numbers or other non-symbol things.
This commit is contained in:
Robby Findler 2011-05-20 21:52:09 -05:00
parent ce3e46b71a
commit 040bd371b6
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/private/loc-wrapper-rt.rkt
View File

@ -58,7 +58,7 @@
[(string? e)
(values line col (+ col (string-length e)))]
[(symbol? e)
(values line col (+ col (string-length (symbol->string e))))]
(values line col (+ col (string-length (format "~s" e))))]
[(not e) (values line col col)]
[else
(let loop ([lws e]

8
collects/redex/tests/lw-test.rkt
View File

@ -262,6 +262,14 @@
2))
0 0 0 3))
(test (normalize-lw (to-lw (|+1| x)))
(build-lw
(list (build-lw "(" 0 0 0 1)
(build-lw '|+1| 0 0 1 4)
(build-lw 'x 0 0 6 1)
(build-lw ")" 0 0 7 1))
0 0 0 8))
;; this one seems suspicious: why does the second comma start at 1 instead of 0?
;; rendering seems to work, however, so we'll go with it ..
(test (normalize-lw (to-lw ,,x))