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

Fix use of add-type-expr from commit 5d835ded.

Browse Source
This commit is contained in:
Stevie Strickland 2010-06-18 19:09:41 -04:00 committed by Sam Tobin-Hochstadt
parent 1e15ce1f32
commit 0aae2c866f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -548,7 +548,7 @@
[_ (int-err "bad expected: ~a" expected)])] [_ (int-err "bad expected: ~a" expected)])]
;; special case for `-' used like `sub1' ;; special case for `-' used like `sub1'
[(#%plain-app (~and op (~literal -)) v (~and arg2 ((~literal quote) 1))) [(#%plain-app (~and op (~literal -)) v (~and arg2 ((~literal quote) 1)))
(add-typeof-expr #'arg2 -Nat) (add-typeof-expr #'arg2 (ret -Nat))
(match-let ([(tc-result1: t) (single-value #'v)]) (match-let ([(tc-result1: t) (single-value #'v)])
(if (subtype t -ExactPositiveInteger) (if (subtype t -ExactPositiveInteger)
(ret -Nat) (ret -Nat)