From c903ffe15c2f332aaee2d410adbb88ce3b98241e Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 18 Jun 2010 19:09:41 -0400 Subject: [PATCH] Fix use of add-type-expr from commit 5d835ded. original commit: 0aae2c866f2906c1b4111aff438d3f931afa43f7 --- collects/typed-scheme/typecheck/tc-app.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index 45012175..b981f24e 100644 --- a/collects/typed-scheme/typecheck/tc-app.rkt +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -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)