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

typos

Browse Source 
original commit: 8cfe4173c4f52a577fd4841a823633c8408e67fa
This commit is contained in:
Ambrose Bonnaire-Sergeant 2013-11-05 22:47:03 +08:00 committed by Sam Tobin-Hochstadt
parent 36ba652e5c
commit cdc131b29e
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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!)

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/rep/type-rep.rkt
View File

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