From 617a24e932d188a5f00dcb30a6685b8093b2c693 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 31 Mar 2014 11:22:17 -0400 Subject: [PATCH] Fix typos spotted by Ambrose Bonnaire-Sergeant. original commit: d3ddd3a0d4f36ced0911e8e50a896176611fe941 --- .../typed-racket/scribblings/reference/types.scrbl | 2 +- .../typed-racket-lib/typed-racket/private/type-contract.rkt | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl index 591c6a56..fbf0e9a6 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl +++ b/pkgs/typed-racket-pkgs/typed-racket-doc/typed-racket/scribblings/reference/types.scrbl @@ -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]} diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt index 0ba51a1d..9655a298 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt @@ -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)