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

Fixed various spelling errors.

Browse Source 
original commit: c9519fd11300b07292df8619e86f48533eff6e4d
This commit is contained in:
David Van Horn 2011-02-02 14:56:42 -05:00 committed by Sam Tobin-Hochstadt
parent 4c5e687ec1
commit 774c62bda5
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -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].

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

@ -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: _))