diff --git a/tests/range0.fut b/tests/range0.fut index b53f6e1c6e..c848c801e2 100644 --- a/tests/range0.fut +++ b/tests/range0.fut @@ -5,8 +5,6 @@ -- input { 1 5 } output { [1i32, 2i32, 3i32, 4i32, 5i32] } -- input { 5 1 } error: 5...1 -- input { 5 0 } error: 5...0 --- input { 0 5 } output { [0i32, 1i32, 2i32, --- 3i32, 4i32, 5i32] } -- == -- entry: test1 @@ -14,7 +12,6 @@ -- input { 1 5 } output { [1i32, 2i32, 3i32, 4i32] } -- input { 5 1 } error: 5..<1 -- input { 5 0 } error: 5..<0 --- input { 0 5 } output { [0i32, 1i32, 2i32, 3i32, 4i32] } -- == -- entry: test2 @@ -22,7 +19,6 @@ -- input { 1 5 } error: 1..>5 -- input { 5 1 } output { [5i32, 4i32, 3i32, 2i32] } -- input { 5 0 } output { [5i32, 4i32, 3i32, 2i32, 1i32] } --- input { 0 5 } error: 0..>5 -- == -- entry: test3 @@ -31,6 +27,9 @@ -- input { 5 4 1 } output { [5i32, 4i32, 3i32, 2i32, 1i32] } -- input { 5 0 0 } output { [5i32, 0i32] } -- input { 0 2 5 } output { [0i32, 2i32, 4i32] } +-- input { 1 1 5 } error: 1..1...5 +-- input { 1 0 1 } output { [1i32] } +-- input { 1 2 1 } output { [1i32] } -- == -- entry: test4