diff options
Diffstat (limited to 'testsuite/tests/misc')
-rw-r--r-- | testsuite/tests/misc/bdd.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/boyer.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/exotic.ml | 4 | ||||
-rw-r--r-- | testsuite/tests/misc/fib.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/gc_mark_stack_overflow.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/gcwords.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/gpr1370.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/hamming.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/nucleic.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/pr7168.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/sieve.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/sorts.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/takc.ml | 3 | ||||
-rw-r--r-- | testsuite/tests/misc/taku.ml | 3 |
14 files changed, 15 insertions, 28 deletions
diff --git a/testsuite/tests/misc/bdd.ml b/testsuite/tests/misc/bdd.ml index 30de85e016..f471ab9f0c 100644 --- a/testsuite/tests/misc/bdd.ml +++ b/testsuite/tests/misc/bdd.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (* Translated to OCaml by Xavier Leroy *) (* Original code written in SML by ... *) diff --git a/testsuite/tests/misc/boyer.ml b/testsuite/tests/misc/boyer.ml index 53e18813a2..736b3524c8 100644 --- a/testsuite/tests/misc/boyer.ml +++ b/testsuite/tests/misc/boyer.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (* Manipulations over terms *) diff --git a/testsuite/tests/misc/exotic.ml b/testsuite/tests/misc/exotic.ml index c8a40a6f4c..dae81075f7 100644 --- a/testsuite/tests/misc/exotic.ml +++ b/testsuite/tests/misc/exotic.ml @@ -1,6 +1,6 @@ (* TEST - flags = "-I ${ocamlsrcdir}/utils" - * expect + flags = "-I ${ocamlsrcdir}/utils"; + expect; *) (* Strict-sequence can change the behavior of programs *) diff --git a/testsuite/tests/misc/fib.ml b/testsuite/tests/misc/fib.ml index 46c34193d7..f46e4211a5 100644 --- a/testsuite/tests/misc/fib.ml +++ b/testsuite/tests/misc/fib.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) let rec fib n = if n < 2 then 1 else fib(n-1) + fib(n-2) diff --git a/testsuite/tests/misc/gc_mark_stack_overflow.ml b/testsuite/tests/misc/gc_mark_stack_overflow.ml index 55dd14a7bd..81b7dd8f1e 100644 --- a/testsuite/tests/misc/gc_mark_stack_overflow.ml +++ b/testsuite/tests/misc/gc_mark_stack_overflow.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) let clear_elements a m = for i = 1 to m do diff --git a/testsuite/tests/misc/gcwords.ml b/testsuite/tests/misc/gcwords.ml index 45125adc6c..877d50cf8f 100644 --- a/testsuite/tests/misc/gcwords.ml +++ b/testsuite/tests/misc/gcwords.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) type t = Leaf of int | Branch of t * t diff --git a/testsuite/tests/misc/gpr1370.ml b/testsuite/tests/misc/gpr1370.ml index 9cd0fedfa5..3f76d7f771 100644 --- a/testsuite/tests/misc/gpr1370.ml +++ b/testsuite/tests/misc/gpr1370.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) type t = A|B|C|D type s = diff --git a/testsuite/tests/misc/hamming.ml b/testsuite/tests/misc/hamming.ml index f4010ac47a..8112a10142 100644 --- a/testsuite/tests/misc/hamming.ml +++ b/testsuite/tests/misc/hamming.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (* We cannot use bignums because we don't do custom runtimes, but int64 is a bit short, so we roll our own 37-digit numbers... diff --git a/testsuite/tests/misc/nucleic.ml b/testsuite/tests/misc/nucleic.ml index f83bc0467e..112765bbbd 100644 --- a/testsuite/tests/misc/nucleic.ml +++ b/testsuite/tests/misc/nucleic.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (* Use floating-point arithmetic *) diff --git a/testsuite/tests/misc/pr7168.ml b/testsuite/tests/misc/pr7168.ml index dcd56eed13..03b1b6e4a3 100644 --- a/testsuite/tests/misc/pr7168.ml +++ b/testsuite/tests/misc/pr7168.ml @@ -1,6 +1,5 @@ (* TEST - -ocamlrunparam += "l=100000" + ocamlrunparam += "l=100000"; *) let rec f x = diff --git a/testsuite/tests/misc/sieve.ml b/testsuite/tests/misc/sieve.ml index 1dd83a0ec9..7a6325d0fc 100644 --- a/testsuite/tests/misc/sieve.ml +++ b/testsuite/tests/misc/sieve.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (* Eratosthene's sieve *) diff --git a/testsuite/tests/misc/sorts.ml b/testsuite/tests/misc/sorts.ml index 445c48419f..3e7214f6bf 100644 --- a/testsuite/tests/misc/sorts.ml +++ b/testsuite/tests/misc/sorts.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) (* Test bench for sorting algorithms. *) diff --git a/testsuite/tests/misc/takc.ml b/testsuite/tests/misc/takc.ml index bfdf11c45c..5b1632af77 100644 --- a/testsuite/tests/misc/takc.ml +++ b/testsuite/tests/misc/takc.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) let rec tak x y z = if x > y then tak (tak (x-1) y z) (tak (y-1) z x) (tak (z-1) x y) diff --git a/testsuite/tests/misc/taku.ml b/testsuite/tests/misc/taku.ml index dac1a3f61e..b73001c216 100644 --- a/testsuite/tests/misc/taku.ml +++ b/testsuite/tests/misc/taku.ml @@ -1,5 +1,4 @@ -(* TEST -*) +(* TEST *) let rec tak (x, y, z) = if x > y then tak(tak (x-1, y, z), tak (y-1, z, x), tak (z-1, x, y)) |