From d6160a21d6603396f44394279c592956a7257856 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 23 Oct 2015 16:04:30 +0200 Subject: [PATCH] =?UTF-8?q?Fixes=20type=20of=20(member),=20see=20github=20?= =?UTF-8?q?bug=20#223:=20=E2=80=9C(member)=20has=20wrong=20type,=20exploit?= =?UTF-8?q?ing=20the=20hole=20causes=20segfault=E2=80=9D.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env.rkt b/typed-racket-lib/typed-racket/base-env/base-env.rkt index 3168cad5..d652fadb 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -632,9 +632,9 @@ [memq (-poly (a) (-> Univ (-lst a) (-opt (-ne-lst a))))] [memv (-poly (a) (-> Univ (-lst a) (-opt (-ne-lst a))))] [memf (-poly (a) ((a . -> . Univ) (-lst a) . -> . (-opt (-ne-lst a))))] -[member (-poly (a) +[member (-poly (a b) (cl->* (Univ (-lst a) . -> . (-opt (-ne-lst a))) - (Univ (-lst a) (-> a a Univ) + (b (-lst a) (-> b a Univ) . -> . (-opt (-ne-lst a)))))] [findf (-poly (a) ((a . -> . B) (-lst a) . -> . (-opt a)))]