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

Add several missing types

Browse Source
This commit is contained in:
Asumu Takikawa 2014-07-16 14:46:39 -04:00
parent c681c6e8e5
commit 36931395f9
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1024,6 +1024,10 @@
[procedure? (make-pred-ty top-func)]
[compose (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))]
[compose1 (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))]
[procedure-rename (-> top-func -Symbol top-func)]
[procedure->method (-> top-func top-func)]
[procedure-closure-contents-eq? (-> top-func top-func -Boolean)]
;; keyword-apply - hard to give a type
[procedure-arity (-> top-func (Un -Nat -Arity-At-Least (-lst (Un -Nat -Arity-At-Least))))]
[procedure-arity? (make-pred-ty (Un -Nat -Arity-At-Least (-lst (Un -Nat -Arity-At-Least))))]
[procedure-arity-includes? (->opt top-func -Nat [Univ] B)]

2
pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt
View File

@ -2101,6 +2101,8 @@
-> Void)]
[on-save-file (Path Load/Save-Format -> Void)]
[on-snip-modified ((Instance Snip%) Any -> Void)]
[on-goodbye-event ((Instance DC<%>) Real Real Real Real
(Instance Mouse-Event%) -> Void)]
[own-caret (Any -> Void)]
[paste (case-> (-> Void) (Integer -> Void))]
[paste-x-selection (case-> (-> Void) (Integer -> Void))]