From 94782bd5662ad97344364bd8dcf603147349b857 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 2 May 2008 23:46:17 +0000 Subject: [PATCH] Readd more specific types for + - * svn: r9613 original commit: 37d107b737063bb65a91522f05e13b061866bd4c --- 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 61ded9a4..e8c8288b 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -186,10 +186,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)))]