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

Update base-env-numeric.rkt (#464)

Browse Source 
Added `-Index` to second `varop` list for max so that max is typed for: `(-> Index * Index))`
This commit is contained in:
Tim Brown 2016-12-01 14:16:15 +00:00 committed by Sam Tobin-Hochstadt
parent 6a57af77b7
commit d97243b1e8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1189,7 +1189,7 @@
(commutative-case -PosIndex -Index)
(commutative-case -PosFixnum -Fixnum)
(commutative-case -NonNegFixnum -Fixnum)
(map varop (list -NegFixnum -NonPosFixnum -PosFixnum -NonNegFixnum -Fixnum))
(map varop (list -Index -NegFixnum -NonPosFixnum -PosFixnum -NonNegFixnum -Fixnum))
(commutative-case -PosInt -Int)
(commutative-case -Nat -Int)
(map varop (list -NegInt -NonPosInt -PosInt -Nat -Int))