suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix types of bitwise-and and bitwise-xor.

Browse Source 
Found with random testing.
This commit is contained in:
Vincent St-Amour 2013-03-18 15:30:16 -04:00
parent ab663b4833
commit f7e8b090e6
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/typed-racket/base-env/base-env-numeric.rkt
View File

@ -1473,15 +1473,15 @@
[bitwise-and [bitwise-and
(let ([mix-with-int (let ([mix-with-int
(lambda (t) (lambda (t)
(list (->* null t t) ; closed (list (->* (list t) t t) ; closed
(->* (list -Int) t t) ; brings result down (->* (list -Int t) t t) ; brings result down
(->* (list t -Int) t t)))]) (->* (list t -Int) t t)))])
(from-cases (-> -NegFixnum) ; no args -> -1 (from-cases (-> -NegFixnum) ; no args -> -1
(map mix-with-int (list -Zero -Byte -Index -NonNegFixnum)) (map mix-with-int (list -Zero -Byte -Index -NonNegFixnum))
;; closed on negatives, but not closed if we mix with positives ;; closed on negatives, but not closed if we mix with positives
(map varop (list -NegFixnum -NonPosFixnum)) (map varop-1+ (list -NegFixnum -NonPosFixnum))
(map mix-with-int (list -Fixnum -Nat)) (map mix-with-int (list -Fixnum -Nat))
(map varop (list -NegInt -NonPosInt)) (map varop-1+ (list -NegInt -NonPosInt))
(null -Int . ->* . -Int)))] (null -Int . ->* . -Int)))]
[bitwise-ior [bitwise-ior
(from-cases (varop -Zero) (from-cases (varop -Zero)
@ -1510,18 +1510,18 @@
(-> -One -One) (-> -One -One)
(-> -One -One -Zero) (-> -One -One -Zero)
(-> -One -One -One -One) (-> -One -One -One -One)
(map varop (list -Zero -Byte -Index -NonNegFixnum)) (map varop-1+ (list -Zero -Byte -Index -NonNegFixnum))
(-> -NegFixnum -NegFixnum) (-> -NegFixnum -NegFixnum)
(-> -NonPosFixnum -NonPosFixnum) (-> -NonPosFixnum -NonPosFixnum)
(-> -NonPosFixnum -NonPosFixnum -NonNegFixnum) (-> -NegFixnum -NegFixnum -NonNegFixnum) ; both have to be negative: (0 -1) -> -1
(commutative-binop -NegFixnum -NonNegFixnum -NegFixnum) (commutative-binop -NegFixnum -NonNegFixnum -NegFixnum)
(commutative-binop -NonPosFixnum -NonNegFixnum -NonPosFixnum) (-> -NegFixnum -NonNegFixnum -NonPosFixnum) ; not commutative: (<pos> (ann 0 <non-pos>)) -> <pos>
(map varop (list -Fixnum -Nat)) (map varop-1+ (list -Fixnum -Nat))
(-> -NegInt -NegInt) (-> -NegInt -NegInt)
(-> -NonPosInt -NonPosInt) (-> -NonPosInt -NonPosInt)
(-> -NonPosInt -NonPosInt -Nat) (-> -NegInt -NegInt -Nat)
(commutative-binop -NegInt -Nat -NegInt) (commutative-binop -NegInt -Nat -NegInt)
(commutative-binop -NonPosInt -Nat -NonPosInt) (-> -NegInt -Nat -NonPosInt) ; see above
(varop -Int))] (varop -Int))]
[bitwise-bit-set? (-> -Int -Int B)] [bitwise-bit-set? (-> -Int -Int B)]
[bitwise-bit-field [bitwise-bit-field