diff options
| author | Pierre-Marie Pédrot | 2014-04-22 15:31:12 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-04-23 12:09:14 +0200 |
| commit | 74ddca99c649f2f8c203582a9b82bddf64fb6b52 (patch) | |
| tree | f23aa6340c2630619864666ef5eed257d3d765d9 /lib/bigint.ml | |
| parent | d23c7539887366202bc370d0f80c26a557486e1c (diff) | |
Removing dead code, thanks to new OCaml warnings and a bit of scripting.
Diffstat (limited to 'lib/bigint.ml')
| -rw-r--r-- | lib/bigint.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/bigint.ml b/lib/bigint.ml index 4dc93e6e82..de096493f4 100644 --- a/lib/bigint.ml +++ b/lib/bigint.ml @@ -63,7 +63,6 @@ module ArrayInt = struct (* Basic numbers *) let zero = [||] -let neg_one = [|-1|] let is_zero = function | [||] -> true @@ -74,7 +73,7 @@ let is_zero = function - it is [|-1|] - its first bloc is in [-base;-1[U]0;base[ and the other blocs are in [0;base[. *) - +(* let canonical n = let ok x = (0 <= x && x < base) in let rec ok_tail k = (Int.equal k 0) || (ok n.(k) && ok_tail (k-1)) in @@ -82,6 +81,7 @@ let canonical n = in (is_zero n) || (match n with [|-1|] -> true | _ -> false) || (ok_init n.(0) && ok_tail (Array.length n - 1)) +*) (* [normalize_pos] : removing initial blocks of 0 *) |