summaryrefslogtreecommitdiff
path: root/test/Moretest/recvalues.ml
diff options
context:
space:
mode:
Diffstat (limited to 'test/Moretest/recvalues.ml')
-rw-r--r--test/Moretest/recvalues.ml38
1 files changed, 0 insertions, 38 deletions
diff --git a/test/Moretest/recvalues.ml b/test/Moretest/recvalues.ml
deleted file mode 100644
index c00ced8273..0000000000
--- a/test/Moretest/recvalues.ml
+++ /dev/null
@@ -1,38 +0,0 @@
-(* Recursive value definitions *)
-
-let _ =
- let rec x = 1 :: x in
- if match x with
- 1 :: x' -> x == x'
- | _ -> false
- then print_string "Test 1: passed\n"
- else print_string "Test 1: FAILED\n";
- let one = 1 in
- let rec y = (one, one+1) :: y in
- if match y with
- (1,2) :: y' -> y == y'
- | _ -> false
- then print_string "Test 2: passed\n"
- else print_string "Test 2: FAILED\n";
- let rec z = (Gc.minor(); (one, one+1)) :: z in
- (* Trash the minor generation *)
- for i = 0 to 50000 do ignore (ref 0) done;
- if match z with
- (1,2) :: z' -> z == z'
- | _ -> false
- then print_string "Test 3: passed\n"
- else print_string "Test 3: FAILED\n";
-;;
-
-let rec s = "bar"
-and idx = 1
-and x1 = let f x = Printf.printf "%s\n" x in f "foo"; s, x4
-and x2 = [| x1; x1 |]
-and x3 = (fun () -> fst (x2.(idx))) :: x3
-and x4 = {contents = x3}
-;;
-
-Gc.minor ();;
-if (List.hd (!(snd (x2.(0))))) () == s
-then print_string "Test 4: passed\n"
-else print_string "Test 4: FAILED\n"