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

A bunch of more typos like the ones in David's commit.

Browse Source 
original commit: c007c345f9e57e8cd17373a8caf51a00f7d303b2
This commit is contained in:
Eli Barzilay 2012-02-21 14:21:36 -05:00
parent 9b3f878948
commit be78fbfeb2
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/xfail/ann-map-funcs.rkt
View File

@ -2,7 +2,7 @@
;; This test is similar to unholy-terror.
;; Recent changes to the numeric tower makes this generate a ridiculous amount
;; of inference contraints.
;; of inference constraints.
;; Changes to the inference engine breaks inference on this test, but unlike
;; unholy terror, this one fails quite fast, so it's not as bad.
;; Reverting these changes would make inference work again, given enough time

2
collects/typed-racket/env/lexical-env.rkt vendored
View File

@ -38,7 +38,7 @@
(with-lexical-env (replace-props (extend/values is ts (lexical-env)) ps) . b))
;; find the type of identifier i, looking first in the lexical env, then in the top-level env
;; identifer -> Type
;; identifier -> Type
(define (lookup-type/lexical i [env (lexical-env)] #:fail [fail #f])
(lookup env i (λ (i) (lookup-type i (λ () ((or fail lookup-fail) i))))))

2
collects/typed-racket/private/type-annotation.rkt
View File

@ -113,7 +113,7 @@
[else
(tc-error "no type information on variable ~a" (syntax-e stx))])))
;; Listof[identifer] #:default Type -> Listof[Type]
;; Listof[identifier] #:default Type -> Listof[Type]
(define (get-types stxs #:default [default #f])
(map (lambda (e) (get-type e #:default default)) stxs))

2
collects/typed-racket/typecheck/tc-structs.rkt
View File

@ -144,7 +144,7 @@
;; generate names, and register the approriate types give field types and structure type
;; optionally wrap things
;; identifier Type Listof[identifer] Listof[Type] Listof[Type] #:wrapper (Type -> Type) #:maker identifier
;; identifier Type Listof[identifier] Listof[Type] Listof[Type] #:wrapper (Type -> Type) #:maker identifier
(define/cond-contract (register-struct-types nm sty flds external-fld-types external-fld-types/no-parent setters?
#:wrapper [wrapper values]
#:struct-info [si #f]