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

bad non-typo fix, go back, and change to Univ

Browse Source 
svn: r12010
This commit is contained in:
Eli Barzilay 2008-10-13 15:42:53 +00:00
parent 86d70f52d8
commit d5028463f2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/private/base-env.ss
View File

@ -225,7 +225,8 @@
[assq (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [assq (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))]
[assv (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [assv (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))]
[assoc (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [assoc (-poly (a b) (a (-lst (-pair a b)) . -> . (-opt (-pair a b))))]
[assf (-poly (a b) ((a . -> . b) (-lst (-pair a b)) . -> . (-opt (-pair a b))))] [assf (-poly (a b) ((a . -> . Univ) (-lst (-pair a b))
. -> . (-opt (-pair a b))))]
[list-ref (-poly (a) ((-lst a) -Integer . -> . a))] [list-ref (-poly (a) ((-lst a) -Integer . -> . a))]
[positive? (-> N B)] [positive? (-> N B)]