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

Fixes type of (member), see github bug #223: “(member) has wrong type, exploiting the hole causes segfault”.

Browse Source
This commit is contained in:
Georges Dupéron 2015-10-23 16:04:30 +02:00
parent 2479dffde0
commit d6160a21d6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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