From 774c62bda5bf3ee551b3cad1b5ccbefbd3c6a30d Mon Sep 17 00:00:00 2001 From: David Van Horn Date: Wed, 2 Feb 2011 14:56:42 -0500 Subject: [PATCH] Fixed various spelling errors. original commit: c9519fd11300b07292df8619e86f48533eff6e4d --- collects/typed-scheme/scribblings/ts-reference.scrbl | 2 +- collects/typed-scheme/typecheck/tc-app.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index 48bcd6dc..d70af32b 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -442,7 +442,7 @@ can be used anywhere a definition form may be used.} the types @racket[t], and also provides all of the @racket[v]s.} @litchar{#{v : t}} This declares that the variable @racket[v] has type -@racket[t]. This is legal only for binding occurences of @racket[_v]. +@racket[t]. This is legal only for binding occurrences of @racket[_v]. @defform[(ann e t)]{Ensure that @racket[e] has type @racket[t], or some subtype. The entire expression has type @racket[t]. diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index a21d9ecf..15df18a1 100644 --- a/collects/typed-scheme/typecheck/tc-app.rkt +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -657,7 +657,7 @@ (match-let* ([(list last tys-r ...) (reverse (map tc-expr/t (syntax->list #'args)))] [tys (reverse tys-r)]) (ret (foldr make-Pair last tys)))] - ;; special case for `reverse' to propogate expected type info + ;; special case for `reverse' to propagate expected type info [(#%plain-app reverse arg) (match expected [(tc-result1: (Listof: _))