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

Improve type of identity.

Browse Source 
Closes PR 12813.
This commit is contained in:
Sam Tobin-Hochstadt 2012-06-02 18:51:51 -04:00
parent 865a2cdcbd
commit 8459c22c01
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/base-env/base-env.rkt
View File

@ -1357,7 +1357,7 @@
;; scheme/function
[identity (-poly (a) (-> a a))]
[identity (-poly (a) (->acc (list a) a null))]
[const (-poly (a) (-> a (->* '() Univ a)))]
[negate (-polydots (b) (-> ((list) [b b] . ->... . Univ)
((list) [b b] . ->... . -Boolean)))]