diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-05-26 02:45:39 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-05-26 02:45:39 +0200 |
| commit | 26bc355c9a48db514efda6cb631f40b4f371ccef (patch) | |
| tree | f79bb1c01801b913148af29cb48802d233677978 | |
| parent | 715388a4796aedb82cd6c7d5f51a21e3d655db4f (diff) | |
[votour] Fix/disable warnings.
| -rw-r--r-- | checker/analyze.ml | 4 | ||||
| -rw-r--r-- | checker/votour.ml | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/checker/analyze.ml b/checker/analyze.ml index b406aa4c3..df75d5b93 100644 --- a/checker/analyze.ml +++ b/checker/analyze.ml @@ -4,6 +4,7 @@ let prefix_small_block = 0x80 let prefix_small_int = 0x40 let prefix_small_string = 0x20 +[@@@ocaml.warning "-32"] let code_int8 = 0x00 let code_int16 = 0x01 let code_int32 = 0x02 @@ -25,6 +26,7 @@ let code_infixpointer = 0x11 let code_custom = 0x12 let code_block64 = 0x13 +[@@@ocaml.warning "-37"] type code_descr = | CODE_INT8 | CODE_INT16 @@ -244,7 +246,7 @@ let parse_object chan = RString (input_string len chan) | CODE_CODEPOINTER -> let addr = input_int32u chan in - for i = 0 to 15 do ignore (input_byte chan); done; + for _i = 0 to 15 do ignore (input_byte chan); done; RCode addr | CODE_DOUBLE_ARRAY32_LITTLE | CODE_DOUBLE_BIG diff --git a/checker/votour.ml b/checker/votour.ml index 44ca8ef31..9bfae7861 100644 --- a/checker/votour.ml +++ b/checker/votour.ml @@ -10,6 +10,7 @@ open Values (** {6 Interactive visit of a vo} *) +[@@@ocaml.warning "-52"] let rec read_num max = let quit () = Printf.printf "\nGoodbye!\n%!"; @@ -261,6 +262,7 @@ let pop () = match !stk with | i::s -> stk := s; i | _ -> failwith "empty stack" +[@@@ocaml.warning "-52"] let rec visit v o pos = Printf.printf "\nDepth %d Pos %s Context %s\n" (List.length !stk) |