summaryrefslogtreecommitdiff
path: root/test/Moretest/equality.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/Moretest/equality.ml')
-rw-r--r--test/Moretest/equality.ml71
1 files changed, 0 insertions, 71 deletions
diff --git a/test/Moretest/equality.ml b/test/Moretest/equality.ml
deleted file mode 100644
index 05e6512363..0000000000
--- a/test/Moretest/equality.ml
+++ /dev/null
@@ -1,71 +0,0 @@
-let test n exp res =
- prerr_string "Test "; prerr_int n;
- if exp = res then prerr_string " passed.\n" else prerr_string " FAILED.\n";
- flush stderr
-
-let x = [1;2;3]
-
-let f x = 1 :: 2 :: 3 :: x
-
-let mklist len =
- let l = ref [] in
- for i = 1 to len do l := i :: !l done;
- !l
-
-type tree = Dummy | Leaf | Node of tree * tree
-
-let rec mktree depth =
- if depth <= 0 then Leaf else Node(mktree(depth - 1), mktree(depth - 1))
-
-type 'a leftlist = Nil | Cons of 'a leftlist * 'a
-
-let mkleftlist len =
- let l = ref Nil in
- for i = 1 to len do l := Cons(!l, i) done;
- !l
-
-let _ =
- test 1 0 (compare 0 0);
- test 2 (-1) (compare 0 1);
- test 3 1 (compare 1 0);
- test 4 0 (compare max_int max_int);
- test 5 (-1) (compare min_int max_int);
- test 6 1 (compare max_int min_int);
- test 7 0 (compare "foo" "foo");
- test 8 (-1) (compare "foo" "zorglub");
- test 9 (-1) (compare "abcdef" "foo");
- test 10 (-1) (compare "abcdefghij" "abcdefghijkl");
- test 11 1 (compare "abcdefghij" "abcdefghi");
- test 12 0 (compare (0,1) (0,1));
- test 13 (-1) (compare (0,1) (0,2));
- test 14 (-1) (compare (0,1) (1,0));
- test 15 1 (compare (0,1) (0,0));
- test 16 1 (compare (1,0) (0,1));
- test 17 0 (compare 0.0 0.0);
- test 18 (-1) (compare 0.0 1.0);
- test 19 (-1) (compare (-1.0) 0.0);
- test 20 0 (compare [| 0.0; 1.0; 2.0 |] [| 0.0; 1.0; 2.0 |]);
- test 21 (-1) (compare [| 0.0; 1.0; 2.0 |] [| 0.0; 1.0; 3.0 |]);
- test 22 1 (compare [| 0.0; 5.0; 2.0 |] [| 0.0; 1.0; 2.0 |]);
- test 23 0 (compare [1;2;3;4] [1;2;3;4]);
- test 24 (-1) (compare [1;2;3;4] [1;2;5;6]);
- test 25 (-1) (compare [1;2;3;4] [1;2;3;4;5]);
- test 26 1 (compare [1;2;3;4] [1;2;3]);
- test 27 1 (compare [1;2;3;4] [1;2;0;4]);
- test 28 0 (compare (mklist 1000) (mklist 1000));
- test 29 0 (compare (mkleftlist 1000) (mkleftlist 1000));
- test 30 0 (compare (mktree 12) (mktree 12));
- test 31 true (x = f []);
- test 32 true (stdout <> stderr);
- test 33 (-1) (compare nan 0.0);
- test 34 (-1) (compare nan neg_infinity);
- test 35 0 (compare nan nan);
- test 36 (-1) (compare (0.0, nan) (0.0, 0.0));
- test 37 (-1) (compare (0.0, nan) (0.0, neg_infinity));
- test 38 0 (compare (nan, 0.0) (nan, 0.0));
- let cmpgen x y = (x=y, x<>y, x<y, x<=y, x>y, x>=y) in
- let cmpfloat (x:float) (y:float) = (x=y, x<>y, x<y, x<=y, x>y, x>=y) in
- test 39 (false,true,false,false,false,false) (cmpgen nan nan);
- test 40 (false,true,false,false,false,false) (cmpgen nan 0.0);
- test 41 (false,true,false,false,false,false) (cmpfloat nan nan);
- test 42 (false,true,false,false,false,false) (cmpfloat nan 0.0)