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

Fix type of lcm.

Browse Source 
Found using random testing.
This commit is contained in:
Vincent St-Amour 2013-03-29 16:24:37 -04:00
parent 70a8b79d0e
commit 92c4c70e7a
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1820,8 +1820,9 @@
[lcm (from-cases (map unop (list -Zero -One -PosByte -Byte -PosIndex -Index -PosFixnum)) [lcm (from-cases (map unop (list -Zero -One -PosByte -Byte -PosIndex -Index -PosFixnum))
(-NegFixnum . -> . -PosFixnum) (-NegFixnum . -> . -PosFixnum)
(-Fixnum . -> . -NonNegFixnum) (-Fixnum . -> . -NonNegFixnum)
(commutative-case -Zero -Real) ; zero anywhere -> zero (commutative-case -Zero -Rat) ; zero anywhere -> zero
(map (lambda (t) (commutative-binop t -One)) (commutative-case -RealZero -Real)
(map (lambda (t) (commutative-binop -One t))
(list -PosByte -Byte -PosIndex -Index -PosFixnum)) (list -PosByte -Byte -PosIndex -Index -PosFixnum))
(commutative-binop -One -NegFixnum -PosFixnum) (commutative-binop -One -NegFixnum -PosFixnum)
(commutative-binop -One -Fixnum -NonNegFixnum) (commutative-binop -One -Fixnum -NonNegFixnum)
@ -1838,7 +1839,7 @@
(varop-1+ (Un -PosFlonum -NegFlonum) -PosFlonum) (varop-1+ (Un -PosFlonum -NegFlonum) -PosFlonum)
(varop-1+ -Flonum -NonNegFlonum) (varop-1+ -Flonum -NonNegFlonum)
(commutative-case (Un -PosFlonum -NegFlonum) (Un -PosReal -NegReal) -PosFlonum) (commutative-case (Un -PosFlonum -NegFlonum) (Un -PosReal -NegReal) -PosFlonum)
(commutative-case -Flonum -Real -NonNegFlonum) (commutative-case -Flonum (Un -PosReal -NegReal) -NonNegFlonum) ; exact 0 -> exact 0
(varop-1+ (Un -PosSingleFlonum -NegSingleFlonum) -PosSingleFlonum) (varop-1+ (Un -PosSingleFlonum -NegSingleFlonum) -PosSingleFlonum)
(varop-1+ -SingleFlonum -NonNegSingleFlonum) (varop-1+ -SingleFlonum -NonNegSingleFlonum)
(varop-1+ (Un -PosInexactReal -NegInexactReal) -PosInexactReal) (varop-1+ (Un -PosInexactReal -NegInexactReal) -PosInexactReal)