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

Tighten fxior and fxxor.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 23:29:55 -07:00
parent 424658f6ab
commit 3c978d82cb
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
View File

@ -360,8 +360,9 @@
(define fxior-type
(lambda ()
(fx-from-cases
(binop -Zero)
(commutative-binop -One -Zero -One)
(-> -Zero -Int -Fixnum : -true-filter : (-arg-path 1))
(-> -Int -Zero -Fixnum : -true-filter : (-arg-path 0))
(commutative-binop -PosByte -Byte -PosByte)
(binop -Byte)
(commutative-binop -PosIndex -Index -PosIndex)
@ -373,7 +374,9 @@
(define fxxor-type
(lambda ()
(fx-from-cases
(binop -Zero)
(-> -Zero -Int -Fixnum : -true-filter : (-arg-path 1))
(-> -Int -Zero -Fixnum : -true-filter : (-arg-path 0))
(binop -One -Zero)
(binop -Byte)
(binop -Index)