Fix `hash-name' to avoid collisions.
original commit: eea479b34a2014f259f59098a38aa33ba0ee1971
This commit is contained in:
parent
e717d29b74
commit
63f6827622
|
@ -15,7 +15,7 @@
|
|||
(provide Filter/c FilterSet/c name-ref/c hash-name)
|
||||
|
||||
(define name-ref/c (or/c identifier? integer?))
|
||||
(define (hash-name v) (if (identifier? v) (hash-id v) v))
|
||||
(define (hash-name v) (if (identifier? v) (hash-id v) (list v)))
|
||||
|
||||
(df Bot () [#:fold-rhs #:base])
|
||||
(df Top () [#:fold-rhs #:base])
|
||||
|
|
Loading…
Reference in New Issue
Block a user