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

Fix typos spotted by Ambrose Bonnaire-Sergeant.

Browse Source 
original commit: d3ddd3a0d4f36ced0911e8e50a896176611fe941
This commit is contained in:
Sam Tobin-Hochstadt 2014-03-31 11:22:17 -04:00
parent ece77b55cc
commit 617a24e932
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl
View File

@ -294,7 +294,7 @@ subtypes of @racket[Boolean], @racket[Symbol] and @racket[Keyword], respectively
@section{Containers}
The following base types are parameteric in their type arguments.
The following base types are parametric in their type arguments.
@defform[(Pairof s t)]{is the @rtech{pair} containing @racket[s] as the @racket[car]
and @racket[t] as the @racket[cdr]}

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt
View File

@ -328,7 +328,7 @@
(let ((recursive-values (for/fold ([rv recursive-values]) ([v vs])
(hash-set rv v (same any/sc)))))
(t->sc b #:recursive-values recursive-values))
;; in negative position, use parameteric contracts.
;; in negative position, use parametric contracts.
(match-let ([(Poly-names: vs-nm b) type])
(define function-type?
(let loop ([ty b])
@ -352,7 +352,7 @@
(let ((recursive-values (for/fold ([rv recursive-values]) ([v vs])
(hash-set rv v (same any/sc)))))
(t->sc b #:recursive-values recursive-values))
;; in negative position, use parameteric contracts.
;; in negative position, use parametric contracts.
(fail #:reason "cannot generate contract for variable arity polymorphic type"))]
[(Mu: n b)