From cdc131b29e30e30c1536f921dd13b9fbd82b5317 Mon Sep 17 00:00:00 2001 From: Ambrose Bonnaire-Sergeant Date: Tue, 5 Nov 2013 22:47:03 +0800 Subject: [PATCH] typos original commit: 8cfe4173c4f52a577fd4841a823633c8408e67fa --- .../typed-racket-lib/typed-racket/private/type-contract.rkt | 2 +- .../typed-racket-lib/typed-racket/rep/type-rep.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 019dd7c7..fa495923 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 @@ -413,7 +413,7 @@ ;; in typed positions, no checking needed for the variables (parameterize ([vars (append (for/list ([v (in-list vs)]) (list v #'any/c)) (vars))]) (t->c b)) - ;; in untyped positions, use `parameteric/c' + ;; in untyped positions, use `parametric->/c' (match-let ([(Poly-names: vs-nm _) ty]) (with-syntax ([(v ...) (generate-temporaries vs-nm)]) (set-impersonator!) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt index 74fc83f0..ab0047cf 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt @@ -331,7 +331,7 @@ ;; parent : Struct ;; flds : Listof[fld] ;; proc : Function Type -;; poly? : is this type polymorphicly variant +;; poly? : is this type polymorphically variant ;; If not, then the predicate is enough for higher order checks ;; pred-id : identifier for the predicate of the struct ;; acc-ids : names of the accessors