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

Export Negative-Fixnum.

Browse Source 
original commit: f50008280ba893273814f509347641bc3662229f
This commit is contained in:
Vincent St-Amour 2012-01-06 13:17:45 -05:00
parent ce1fa3ce81
commit 818168baf5
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-racket/base-env/base-types.rkt
View File

@ -59,6 +59,7 @@
[Exact-Positive-Integer -PosInt] ; both of these are valid
[Positive-Integer -PosInt]
[Fixnum -Fixnum]
[Negative-Fixnum -NegFixnum]
[Nonpositive-Fixnum -NonPosFixnum]
[Nonnegative-Fixnum -NonNegFixnum]
[Positive-Fixnum -PosFixnum]