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

fix bug in names that begin with _r

Browse Source
This commit is contained in:
Robby Findler 2014-08-07 03:05:49 -05:00
parent ec5ccb0a8b
commit a4fbb4ee4c
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/redex-pkgs/redex-lib/redex/private/rewrite-side-conditions.rkt
View File

@ -301,11 +301,11 @@
(set! ellipsis-number (+ ellipsis-number 1)) (set! ellipsis-number (+ ellipsis-number 1))
(values (format "..._r~a" ellipsis-number) #f)] (values (format "..._r~a" ellipsis-number) #f)]
[(regexp-match? #rx"^[.][.][.]_r" ellipsis-pre-str) [(regexp-match? #rx"^[.][.][.]_r" ellipsis-pre-str)
(values (string-append (substring ellipsis-str 0 4) (values (string-append (substring ellipsis-pre-str 0 4)
"r" "r"
(substring ellipsis-str (substring ellipsis-pre-str
4 4
(string-length ellipsis-str))) (string-length ellipsis-pre-str)))
#t)] #t)]
[(regexp-match? #rx"^[.][.][.]_" ellipsis-pre-str) [(regexp-match? #rx"^[.][.][.]_" ellipsis-pre-str)
(values ellipsis-pre-str #t)] (values ellipsis-pre-str #t)]

8
pkgs/redex-pkgs/redex-test/redex/tests/tl-test.rkt
View File

@ -588,6 +588,14 @@
#f)) #f))
(let ()
(test (and (redex-match
empty-language
(natural ..._r)
(term ()))
#t)
#t))
; ;
; ;
; ;;; ; ; ;;; ;