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

Added special case to the typechecker for (- <positive-fixnum> 1).

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-28 16:03:04 -04:00
parent f27aac552f
commit c6373ca7c0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-scheme/typecheck/tc-app.rkt
View File

@ -609,6 +609,7 @@
(add-typeof-expr #'arg2 (ret -PositiveFixnum)) (add-typeof-expr #'arg2 (ret -PositiveFixnum))
(match-let ([(tc-result1: t) (single-value #'v)]) (match-let ([(tc-result1: t) (single-value #'v)])
(cond (cond
[(subtype t -PositiveFixnum) (ret (Un -Zero -PositiveFixnum))]
[(subtype t (Un -Zero -PositiveFixnum)) (ret -Fixnum)] [(subtype t (Un -Zero -PositiveFixnum)) (ret -Fixnum)]
[(subtype t -ExactPositiveInteger) (ret -Nat)] [(subtype t -ExactPositiveInteger) (ret -Nat)]
[else (tc/funapp #'op #'(v arg2) (single-value #'op) (list (ret t) (single-value #'arg2)) expected)]))] [else (tc/funapp #'op #'(v arg2) (single-value #'op) (list (ret t) (single-value #'arg2)) expected)]))]