diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index aaad95ba..1eeec0cf 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -156,11 +156,11 @@ [sleep (N . -> . -Void)] -[= (->* (list N N) N B)] +[= (->* (list N N) N B)] [>= (->* (list N N) N B)] -[< (->* (list N N) N B)] +[< (->* (list N N) N B)] [<= (->* (list N N) N B)] -[> (->* (list N) N B)] +[> (->* (list N N) N B)] [zero? (N . -> . B)] [* (cl->* (->* '() -Integer -Integer) (->* '() N N))] [/ (cl->* (->* (list N) N N))]