From 36931395f91a779024731b0486cb787f25e264ea Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 16 Jul 2014 14:46:39 -0400 Subject: [PATCH] Add several missing types --- .../typed-racket-lib/typed-racket/base-env/base-env.rkt | 4 ++++ .../typed-racket-more/typed/racket/private/gui-types.rkt | 2 ++ 2 files changed, 6 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt index ab48e90869..679beab2dd 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt @@ -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)] diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt index d35618d29c..21ade345cd 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/racket/private/gui-types.rkt @@ -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))]