From c0634d32363f2d22901e80a820c6084181624f0f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 1 May 2008 17:43:53 +0000 Subject: [PATCH] remove extra types that don't work with new infer svn: r9568 original commit: 767158c914add502a9d3d40d08e5cbc0089f437f --- 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 6cf257f6..86918576 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -183,10 +183,10 @@ (<= (->* (list N N) N B)) [> (->* (list N) N B)] (zero? (N . -> . B)) - (* (cl->* (->* '() -Integer -Integer) (->* '() N N))) + (* (cl->* #;(->* '() -Integer -Integer) (->* '() N N))) (/ (cl->* (->* (list N) N N))) - (+ (cl->* (->* '() -Integer -Integer) (->* '() N N))) - (- (cl->* (->* (list -Integer) -Integer -Integer) (->* (list N) N N))) + (+ (cl->* #;(->* '() -Integer -Integer) (->* '() N N))) + (- (cl->* #;(->* (list -Integer) -Integer -Integer) (->* (list N) N N))) (max (->* (list N) N N)) (min (->* (list N) N N)) [values (make-Poly '(a) (-> (-v a) (-v a)))]