From 8c75618cfd774932682a9dcc4c582c264f96ec69 Mon Sep 17 00:00:00 2001 From: Darcy Shen Date: Fri, 27 Sep 2024 11:13:15 +0800 Subject: [PATCH] (liii vector): tests for int-vector and int-vector? --- Goldfish.tmu | 526 +++++++++++++++------------- tests/goldfish/liii/vector-test.scm | 11 + 2 files changed, 298 insertions(+), 239 deletions(-) diff --git a/Goldfish.tmu b/Goldfish.tmu index a9d061a4..add24874 100644 --- a/Goldfish.tmu +++ b/Goldfish.tmu @@ -1,4 +1,4 @@ -> +> > @@ -8007,6 +8007,26 @@ \; + vector> + + <\scm-chunk|tests/goldfish/liii/vector-test.scm|true|true> + (check-true (vector? (int-vector 1 2 3))) + + (check-catch 'wrong-type-arg (int-vector 1 2 'a)) + + \; + + (let1 v (int-vector 1 2 3) + + \ \ (check (vector-ref v 0) =\ 1) + + \ \ (check (vector-ref v 1) =\ 2) + + \ \ (check (vector-ref v 2) =\ 3)) + + \; + + @@ -8109,7 +8129,7 @@ - bool> + bool> 如果obj是一个向量返回，否则返回。 @@ -8123,6 +8143,18 @@ \; + bool> + + 只有使用int-vector构造的vector，才能在判定为真。 + + <\scm-chunk|tests/goldfish/liii/vector-test.scm|true|true> + (check-true (int-vector? (int-vector 1 2 3))) + + (check-false (int-vector? (vector 1 2 3))) + + \; + + <\scm-chunk|goldfish/srfi/srfi-133.scm|true|true> @@ -12610,479 +12642,495 @@ <\the-index|idx> - > + > + + > + + > + + > + + hash-table|> + + > + + > + + > + + > - > + > - > + > - > + > - hash-table|> + ?|> - > + > - > + > - > + > - > + > - > + > - > + > - > + > - ?|> + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + ?|> - > + =?|> - > + > - > + > - ?|> + > - =?|> + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + alist|> - > + > - alist|> + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - ?|> + ?|> - =?|> + =?|> - > + > - > + > - > + > - string|> + string|> - vector|> + vector|> - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - list|> + list|> - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - list|> + list|> - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - list|> + list|> - vector|> + vector|> - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > - list|> + list|> - string|> + string|> - > + > - > + > - > + > - > + > - > + > - > + > - > + > - > + > diff --git a/tests/goldfish/liii/vector-test.scm b/tests/goldfish/liii/vector-test.scm index 31c32e82..f29241c3 100644 --- a/tests/goldfish/liii/vector-test.scm +++ b/tests/goldfish/liii/vector-test.scm @@ -29,6 +29,14 @@ vector-index vector-index-right vector-partition vector-swap!)) +(check-true (vector? (int-vector 1 2 3))) +(check-catch 'wrong-type-arg (int-vector 1 2 'a)) + +(let1 v (int-vector 1 2 3) + (check (vector-ref v 0) => 1) + (check (vector-ref v 1) => 2) + (check (vector-ref v 2) => 3)) + (check (vector-copy #(0 1 2 3)) => #(0 1 2 3)) (check (vector-copy #(0 1 2 3) 1) => #(1 2 3)) (check (vector-copy #(0 1 2 3) 3) => #(3)) @@ -47,6 +55,9 @@ (check (vector-copy #(0 1 2 3) 1 2) => #(1)) (check (vector-copy #(0 1 2 3) 1 4) => #(1 2 3)) +(check-true (int-vector? (int-vector 1 2 3))) +(check-false (int-vector? (vector 1 2 3))) + (check-true (vector-empty? (vector))) (check-false (vector-empty? (vector 1))) (check-catch 'type-error (vector-empty? 1)) -- Gitee