suzanne.soy/typed-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 
original commit: 0aae2c866f2906c1b4111aff438d3f931afa43f7
This commit is contained in:
Stevie Strickland 2010-06-18 19:09:41 -04:00 committed by Sam Tobin-Hochstadt
parent a4cec9ce13
commit c903ffe15c
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)])]
;; special case for `-' used like `sub1'
[(#%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)])
(if (subtype t -ExactPositiveInteger)
(ret -Nat)