From 0d2fc07e523ecd5da2e57f12697865385ee5c35b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 26 Mar 2016 12:08:20 +0100 Subject: [PATCH] move tests --- src/core/CCVector.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml index 0fce2699..d1290cf5 100644 --- a/src/core/CCVector.ml +++ b/src/core/CCVector.ml @@ -631,6 +631,12 @@ let (--) i j = then init (i-j+1) (fun k -> i-k) else init (j-i+1) (fun k -> i+k) +(*$T + (1 -- 4) |> to_list = [1;2;3;4] + (4 -- 1) |> to_list = [4;3;2;1] + (0 -- 0) |> to_list = [0] +*) + (*$Q Q.(pair small_int small_int) (fun (a,b) -> \ (a -- b) |> to_list = CCList.(a -- b)) @@ -642,12 +648,6 @@ let (--^) i j = then init (i-j) (fun k -> i-k) else init (j-i) (fun k -> i+k) -(*$T - (1 -- 4) |> to_list = [1;2;3;4] - (4 -- 1) |> to_list = [4;3;2;1] - (0 -- 0) |> to_list = [0] -*) - (*$Q Q.(pair small_int small_int) (fun (a,b) -> \ (a --^ b) |> to_list = CCList.(a --^ b))