From eea479b34a2014f259f59098a38aa33ba0ee1971 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 9 Sep 2010 14:02:50 -0400 Subject: [PATCH] Fix `hash-name' to avoid collisions. --- collects/typed-scheme/rep/filter-rep.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/rep/filter-rep.rkt b/collects/typed-scheme/rep/filter-rep.rkt index 4e5e4f37f7..7adb624b72 100644 --- a/collects/typed-scheme/rep/filter-rep.rkt +++ b/collects/typed-scheme/rep/filter-rep.rkt @@ -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])