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

remove some misleading uses of 'else' from Redex

Browse Source
This commit is contained in:
Robby Findler 2013-05-04 09:28:11 -05:00
parent 0aa8862109
commit b9375bc7e3
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/redex/private/pat-unify.rkt
View File

@ -111,7 +111,7 @@
(for/and ([p ps]) (loop p))] (for/and ([p ps]) (loop p))]
[(? (compose not pair?)) [(? (compose not pair?))
(or (symbol? p) (number? p) (string? p) (boolean? p))] (or (symbol? p) (number? p) (string? p) (boolean? p))]
[else [_
(and is-pat*? (and is-pat*?
(match p (match p
[`(cstr (,nts ...) ,p*) [`(cstr (,nts ...) ,p*)
@ -733,7 +733,7 @@
(match sub-pat (match sub-pat
[`(repeat ,pat ,name ,mismatch) [`(repeat ,pat ,name ,mismatch)
(error "can't normalize pattern: ~s" pat)] (error "can't normalize pattern: ~s" pat)]
[else [_
(loop sub-pat)])))] (loop sub-pat)])))]
[(? (compose not pair?)) [(? (compose not pair?))
pat]))) pat])))

4
collects/redex/private/rg.rkt
View File

@ -660,7 +660,7 @@
(list* (unparse-pattern sub-pat) ellipsis (unparse-pattern rest)))] (list* (unparse-pattern sub-pat) ellipsis (unparse-pattern rest)))]
[(cons first rest) [(cons first rest)
(cons (unparse-pattern first) (unparse-pattern rest))] (cons (unparse-pattern first) (unparse-pattern rest))]
[else else])) [other other]))
;; class-reassignments : parsed-pattern -> hash[sym -o> sym] ;; class-reassignments : parsed-pattern -> hash[sym -o> sym]
(define (class-reassignments pattern) (define (class-reassignments pattern)
@ -718,7 +718,7 @@
[`(repeat ,p ,name ,mismatch?) [`(repeat ,p ,name ,mismatch?)
(record-binder name under) (record-binder name under)
(recur p (cons (or name (gensym)) under))] (recur p (cons (or name (gensym)) under))]
[else (recur lpat under)])) [_ (recur lpat under)]))
assignments] assignments]
[(? (compose not pair?)) assignments])) [(? (compose not pair?)) assignments]))
(make-immutable-hasheq (hash-map assignments (λ (cls _) (cons cls (find cls assignments))))))) (make-immutable-hasheq (hash-map assignments (λ (cls _) (cons cls (find cls assignments)))))))