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

Added third argument for equality predicate to (assoc …)'s type.

Browse Source
This commit is contained in:
Georges Dupéron 2015-10-23 16:06:49 +02:00
parent d6160a21d6
commit 97e2a9c8d1
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -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))))]