diff options
Diffstat (limited to 'testsuite/tests/misc')
| -rw-r--r-- | testsuite/tests/misc/bdd.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/boyer.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/fib.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/hamming.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/nucleic.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/sieve.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/sorts.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/takc.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/taku.ml | 2 | ||||
| -rw-r--r-- | testsuite/tests/misc/weaktest.ml | 2 |
10 files changed, 0 insertions, 20 deletions
diff --git a/testsuite/tests/misc/bdd.ml b/testsuite/tests/misc/bdd.ml index 0d54bd808..954edc164 100644 --- a/testsuite/tests/misc/bdd.ml +++ b/testsuite/tests/misc/bdd.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* 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 57912d1bd..09bfd649f 100644 --- a/testsuite/tests/misc/boyer.ml +++ b/testsuite/tests/misc/boyer.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Manipulations over terms *) type term = diff --git a/testsuite/tests/misc/fib.ml b/testsuite/tests/misc/fib.ml index 7311c8128..adaf54885 100644 --- a/testsuite/tests/misc/fib.ml +++ b/testsuite/tests/misc/fib.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - let rec fib n = if n < 2 then 1 else fib(n-1) + fib(n-2) diff --git a/testsuite/tests/misc/hamming.ml b/testsuite/tests/misc/hamming.ml index 872454401..7c49c2b4c 100644 --- a/testsuite/tests/misc/hamming.ml +++ b/testsuite/tests/misc/hamming.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* 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 624300806..6b5b196f5 100644 --- a/testsuite/tests/misc/nucleic.ml +++ b/testsuite/tests/misc/nucleic.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Use floating-point arithmetic *) external (+) : float -> float -> float = "%addfloat" diff --git a/testsuite/tests/misc/sieve.ml b/testsuite/tests/misc/sieve.ml index 0cf4b3101..7d8d21bdb 100644 --- a/testsuite/tests/misc/sieve.ml +++ b/testsuite/tests/misc/sieve.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Eratosthene's sieve *) (* interval min max = [min; min+1; ...; max-1; max] *) diff --git a/testsuite/tests/misc/sorts.ml b/testsuite/tests/misc/sorts.ml index 7ae00beff..fb7db47a9 100644 --- a/testsuite/tests/misc/sorts.ml +++ b/testsuite/tests/misc/sorts.ml @@ -4475,5 +4475,3 @@ let main () = ;; if not !Sys.interactive then Printexc.catch main ();; - -(* $Id$ *) diff --git a/testsuite/tests/misc/takc.ml b/testsuite/tests/misc/takc.ml index 89bb38755..667ff5a74 100644 --- a/testsuite/tests/misc/takc.ml +++ b/testsuite/tests/misc/takc.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - 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) else z diff --git a/testsuite/tests/misc/taku.ml b/testsuite/tests/misc/taku.ml index 31e617eed..47d94c88b 100644 --- a/testsuite/tests/misc/taku.ml +++ b/testsuite/tests/misc/taku.ml @@ -10,8 +10,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - 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)) else z diff --git a/testsuite/tests/misc/weaktest.ml b/testsuite/tests/misc/weaktest.ml index 92ab5576d..85c1a6a29 100644 --- a/testsuite/tests/misc/weaktest.ml +++ b/testsuite/tests/misc/weaktest.ml @@ -1,5 +1,3 @@ -(* $Id$ *) - let debug = false;; open Printf;; |