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

Change type of make-sequence to reflect changes to its implementation.

Browse Source 
original commit: f8528ac8926bbf7d7eb032dbb287182336828bd4
This commit is contained in:
Vincent St-Amour 2011-03-17 17:40:51 -04:00
parent 4e38d34c5a
commit f8ded9a56d
6 changed files with 6 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt
View File

@ -1,12 +1,6 @@
#;
(
#f line #f col #f - make-sequence - in-bytes
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
495051)
#lang typed/scheme

6
collects/tests/typed-scheme/optimizer/tests/in-list.rkt
View File

@ -1,12 +1,6 @@
#;
(
#f line #f col #f - make-sequence - in-list
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
123)
#lang typed/scheme

6
collects/tests/typed-scheme/optimizer/tests/in-string.rkt
View File

@ -1,12 +1,6 @@
#;
(
#f line #f col #f - make-sequence - in-string
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
123)
#lang typed/scheme

6
collects/tests/typed-scheme/optimizer/tests/in-vector.rkt
View File

@ -1,12 +1,6 @@
#;
(
#f line #f col #f - make-sequence - in-vector
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
#f line #f col #f - op - dead else branch
123)
#lang typed/scheme

6
collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt
View File

@ -12,7 +12,6 @@ unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
unboxed-for.rkt line 51 col 31 - sum - unboxed var -> table
#f line #f col #f - for-loop - unboxed function -> table
#f line #f col #f - for-loop - fun -> unboxed fun
#f line #f col #f - op - dead else branch
unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
unboxed-for.rkt line 53 col 9 - i - unbox float-complex
unboxed-for.rkt line 53 col 11 - sum - unbox float-complex
@ -20,7 +19,6 @@ unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
#f line #f col #f - (#%app pos->vals pos) - unbox float-complex
#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) - unboxed let bindings
#f line #f col #f - op - dead else branch
unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
unboxed-for.rkt line 53 col 9 - i - leave var unboxed
@ -33,7 +31,6 @@ unboxed-for.rkt line 53 col 9 - i - leave var unboxed
unboxed-for.rkt line 53 col 11 - sum - leave var unboxed
unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
#f line #f col #f - op - dead else branch
unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
unboxed-for.rkt line 51 col 31 - sum - unbox float-complex
#f line #f col #f - for-loop - unboxed call site
@ -48,6 +45,9 @@ unboxed-for.rkt line 51 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (i
#lang typed/scheme
#:optimize
(for/fold: : Float-Complex ((sum : Float-Complex 0.0+0.0i))
((i : Float-Complex '(1.0+2.0i 2.0+4.0i)))
(+ i sum))

6
collects/typed-scheme/private/base-special-env.rkt
View File

@ -59,9 +59,9 @@
(-> Univ (-values a))
(-> Univ Univ)
Univ
(-> Univ Univ)
(->* a Univ)
(->* (cons Univ a) Univ))))])
(Un (-> Univ Univ) (-val #f))
(Un (->* a Univ) (-val #f))
(Un (->* (cons Univ a) Univ) (-val #f)))))])
(cl->*
(-> Univ (-seq a) (seq-vals (list a)))
(-> Univ (-seq a b) (seq-vals (list a b))))))]