From 86e0c521fc3a4284c7d7093c3eb04b71273f355b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 24 Jan 2009 21:13:15 +0000 Subject: [PATCH] fix the type of > and indent svn: r13275 original commit: 4288ba636ec132eb91ede11dd9ab1f24263d01e8 --- collects/typed-scheme/private/base-env.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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))]