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

oops rename in tests subdir too

Browse Source 
original commit: ca88fdd7e52bc57a83e45131fdabc2dddbe4fef4
This commit is contained in:
John Clements 2011-03-08 17:34:57 -08:00
commit c60b5b21a9
8 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/optimizer/tests/unboxed-let-functions8.rkt
View File

@ -13,5 +13,5 @@ unboxed-let-functions8.rkt line 15 col 64 - (#%app + x (quote 2.0+4.0i)) - unbox
(letrec: ((f : (Float-Complex -> Float-Complex) (lambda (x) (+ x 2.0+4.0i)))
(g : (Float-Complex -> Float-Complex) f)) ; f escapes! can't unbox it's args
(g : (Float-Complex -> Float-Complex) f)) ; f escapes! can't unbox its args
(f 1.0+2.0i))

2
collects/tests/typed-scheme/succeed/hw01.scm
View File

@ -89,7 +89,7 @@
;; 5
;; list-length: (list-of any) -> integer
;; Computes the lenght of a list
;; Computes the length of a list
(define: (list-length [loa : (Listof top)]) : number
(if (null? loa)
0

2
collects/tests/typed-scheme/succeed/random-bits.rkt
View File

@ -319,7 +319,7 @@
; [[y00 y01 y02],
; [y10 y11 y12],
; [y20 y21 y22]] mod m2]
; as a vector of length 18 of the integers as writen above:
; as a vector of length 18 of the integers as written above:
; #(x00 x01 x02 x10 x11 x12 x20 x21 x22
; y00 y01 y02 y10 y11 y12 y20 y21 y22)
;

2
collects/typed-scheme/env/global-env.rkt vendored
View File

@ -67,7 +67,7 @@
(define (finish-register-type id)
(unless (maybe-finish-register-type id)
(tc-error/expr #:stx id "Duplicate defintion for ~a" (syntax-e id)))
(tc-error/expr #:stx id "Duplicate definition for ~a" (syntax-e id)))
(void))
(define (check-all-registered-types)

2
collects/typed-scheme/optimizer/unboxed-let.rkt
View File

@ -75,7 +75,7 @@
(not (null? (syntax-e (car p))))
(let ((fun-name (car (syntax-e (car p)))))
(and
;; if the function escapes, we can't change it's interface
;; if the function escapes, we can't change its interface
(not (is-var-mutated? fun-name))
(not (escapes? fun-name #'(begin rhs ... ...) #f))
(not (escapes? fun-name #'(begin body ...) let-loop?))

2
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -442,7 +442,7 @@ can be used anywhere a definition form may be used.}
the types @racket[t], and also provides all of the @racket[v]s.}
@litchar{#{v : t}} This declares that the variable @racket[v] has type
@racket[t]. This is legal only for binding occurences of @racket[_v].
@racket[t]. This is legal only for binding occurrences of @racket[_v].
@defform[(ann e t)]{Ensure that @racket[e] has type @racket[t], or
some subtype. The entire expression has type @racket[t].

4
collects/typed-scheme/typecheck/tc-app.rkt
View File

@ -399,7 +399,7 @@
(cond [(not ival)
(tc-error/expr #:stx #'e
#:return (or expected (ret -Void))
"expected statically known index for heterogenous vector, but got ~a" (match e-t [(tc-result1: t) t]))]
"expected statically known index for heterogeneous vector, but got ~a" (match e-t [(tc-result1: t) t]))]
[(and (integer? ival) (exact? ival) (<= 0 ival (sub1 (length es))))
(tc-expr/check #'val (ret (list-ref es ival)))
(if expected
@ -657,7 +657,7 @@
(match-let* ([(list last tys-r ...) (reverse (map tc-expr/t (syntax->list #'args)))]
[tys (reverse tys-r)])
(ret (foldr make-Pair last tys)))]
;; special case for `reverse' to propogate expected type info
;; special case for `reverse' to propagate expected type info
[(#%plain-app reverse arg)
(match expected
[(tc-result1: (Listof: _))

2
collects/typed/rackunit/main.rkt
View File

@ -166,5 +166,5 @@
#;[fold-test-results
XXX]
; XXX Requires knowing more about test cases and structs
#;[foldts
#;[foldts-test-suite
XXX])