From 97e2a9c8d1a84f08942e96599a0aaf790615a989 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 23 Oct 2015 16:06:49 +0200 Subject: [PATCH] =?UTF-8?q?Added=20third=20argument=20for=20equality=20pre?= =?UTF-8?q?dicate=20to=20(assoc=20=E2=80=A6)'s=20type.?= 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 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 d652fadb..83478480 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -640,7 +640,10 @@ [assq (-poly (a b) (Univ (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [assv (-poly (a b) (Univ (-lst (-pair a b)) . -> . (-opt (-pair a b))))] -[assoc (-poly (a b) (Univ (-lst (-pair a b)) . -> . (-opt (-pair a b))))] +[assoc (-poly (a b c) + (cl->* (Univ (-lst (-pair a b)) . -> . (-opt (-pair a b))) + (c (-lst (-pair a b)) (-> c a Univ) + . -> . (-opt (-pair a b)))))] [assf (-poly (a b) ((a . -> . Univ) (-lst (-pair a b)) . -> . (-opt (-pair a b))))]