From cfab7a8d97c62814973a8b0e74089233873a896e Mon Sep 17 00:00:00 2001 From: Noel Welsh Date: Tue, 30 Mar 2010 13:33:45 +0000 Subject: [PATCH] Add type definition for unsafe-vector*-ref and unsafe-vector*-length, which have recently been introduced, and a test case for in-vector (which uses the above). svn: r18667 --- collects/tests/typed-scheme/succeed/sequences.ss | 1 + collects/typed-scheme/private/base-env.ss | 2 ++ 2 files changed, 3 insertions(+) diff --git a/collects/tests/typed-scheme/succeed/sequences.ss b/collects/tests/typed-scheme/succeed/sequences.ss index c584ad8543..00a162efd4 100644 --- a/collects/tests/typed-scheme/succeed/sequences.ss +++ b/collects/tests/typed-scheme/succeed/sequences.ss @@ -7,3 +7,4 @@ (ann (for ([z (open-input-string "foobar")]) (add1 z)) Void) (ann (for ([z (in-list (list 1 2 3))]) (add1 z)) Void) +(ann (for ([z (in-vector (vector 1 2 3))]) (add1 z)) Void) \ No newline at end of file diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 0c2b5c9d9a..959ea1fb1c 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -651,7 +651,9 @@ ;; unsafe [unsafe-vector-ref (-poly (a) ((-vec a) -Nat . -> . a))] +[unsafe-vector*-ref (-poly (a) ((-vec a) -Nat . -> . a))] [unsafe-vector-length (-poly (a) ((-vec a) . -> . -Nat))] +[unsafe-vector*-length (-poly (a) ((-vec a) . -> . -Nat))] [unsafe-car (-poly (a b) (cl->* (->acc (list (-pair a b)) a (list -car))))]