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

Subtraction is not commutative.

Browse Source 
original commit: 5d26fd10e64d792d033b93faad30245ad1d5090a
This commit is contained in:
Vincent St-Amour 2012-06-09 22:04:43 -04:00
parent 58da9ff90f
commit 11b0166100
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)
(-> non-neg non-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
@ -1124,7 +1128,7 @@
(negation-pattern -PosSingleFlonum -NegSingleFlonum -NonNegSingleFlonum -NonPosSingleFlonum)
(negation-pattern -PosInexactReal -NegInexactReal -NonNegInexactReal -NonPosInexactReal)
(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
-PosFixnum -NonNegFixnum -NegFixnum -NonPosFixnum -Fixnum))
(-> -One -One -Zero)