From 245f1e311ca212e58447e2a1c1392cbc360debd6 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 19 Jul 2010 16:09:01 -0400 Subject: [PATCH] Improved closure properties of bitwise-and. original commit: 234e8c363cfd90499566ae24b3cb548785a93ff8 --- collects/typed-scheme/private/base-env-numeric.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/private/base-env-numeric.rkt b/collects/typed-scheme/private/base-env-numeric.rkt index 184e8a68..7805bd08 100644 --- a/collects/typed-scheme/private/base-env-numeric.rkt +++ b/collects/typed-scheme/private/base-env-numeric.rkt @@ -338,7 +338,9 @@ (-Nat -Nat . -> . -Nat) (-Integer -Integer . -> . -Integer))] [bitwise-and (cl->* (null -NonnegativeFixnum . ->* . -NonnegativeFixnum) + ((list -Integer) -NonnegativeFixnum . ->* . -NonnegativeFixnum) (null -Fixnum . ->* . -Fixnum) + ((list -Integer) -Fixnum . ->* . -Fixnum) (null -Nat . ->* . -Nat) (null -Integer . ->* . -Integer))] [bitwise-ior (cl->* (null -NonnegativeFixnum . ->* . -NonnegativeFixnum)