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

Fix type of = to only accept 2+ arguments.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-06-22 14:30:24 -04:00
parent 7b9cd61cb3
commit d946060a13
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/base-env/base-env-numeric.rkt
View File

@ -73,8 +73,8 @@
(-> specific general B : (-FS (-filter specific 1) -top)))) (-> specific general B : (-FS (-filter specific 1) -top))))
(define (exclude-zero non-neg pos [zero -Zero]) (define (exclude-zero non-neg pos [zero -Zero])
(list (-> zero non-neg : (-FS (-filter zero 1) (-filter pos 1))) (list (-> zero non-neg B : (-FS (-filter zero 1) (-filter pos 1)))
(-> non-neg zero : (-FS (-filter zero 0) (-filter pos 0))))) (-> non-neg zero B : (-FS (-filter zero 0) (-filter pos 0)))))
(define round-type ; also used for truncate (define round-type ; also used for truncate
@ -691,7 +691,7 @@
;; types ;; types
(map (lambda (t) (commutative-equality/filter -Real t)) (map (lambda (t) (commutative-equality/filter -Real t))
(list -RealZero -PosReal -NonNegReal -NegReal -NonPosReal -Real)) (list -RealZero -PosReal -NonNegReal -NegReal -NonPosReal -Real))
(map comp (list -FloatComplex -SingleFlonumComplex -InexactComplex N)))] (->* (list N N) N B))]
[< (from-cases [< (from-cases
(-> -Pos -One B : (-FS (-filter (Un) 0) -top)) ; can't happen (-> -Pos -One B : (-FS (-filter (Un) 0) -top)) ; can't happen