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

Subtraction is not commutative.

Browse Source
This commit is contained in:
Vincent St-Amour 2012-06-09 22:04:43 -04:00
parent 442def0b0f
commit 5d26fd10e6
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -655,7 +655,11 @@
(list (-> pos neg) (list (-> pos neg)
(-> non-neg non-pos) (-> non-neg non-pos)
(-> neg pos) (-> neg pos)
(-> non-pos non-neg))) (-> non-pos non-neg)
(-> -Zero pos neg)
(-> -Zero non-neg non-pos)
(-> -Zero neg pos)
(-> -Zero non-pos non-neg)))
;Check to ensure we fail fast if the flonum bindings change ;Check to ensure we fail fast if the flonum bindings change
@ -1124,7 +1128,7 @@
(negation-pattern -PosSingleFlonum -NegSingleFlonum -NonNegSingleFlonum -NonPosSingleFlonum) (negation-pattern -PosSingleFlonum -NegSingleFlonum -NonNegSingleFlonum -NonPosSingleFlonum)
(negation-pattern -PosInexactReal -NegInexactReal -NonNegInexactReal -NonPosInexactReal) (negation-pattern -PosInexactReal -NegInexactReal -NonNegInexactReal -NonPosInexactReal)
(negation-pattern -PosReal -NegReal -NonNegReal -NonPosReal) (negation-pattern -PosReal -NegReal -NonNegReal -NonPosReal)
(map (lambda (t) (commutative-binop t -Zero t)) (map (lambda (t) (-> t -Zero t))
(list -One -PosByte -Byte -PosIndex -Index (list -One -PosByte -Byte -PosIndex -Index
-PosFixnum -NonNegFixnum -NegFixnum -NonPosFixnum -Fixnum)) -PosFixnum -NonNegFixnum -NegFixnum -NonPosFixnum -Fixnum))
(-> -One -One -Zero) (-> -One -One -Zero)