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 /checker/analyze.ml | |
| parent | 715388a4796aedb82cd6c7d5f51a21e3d655db4f (diff) | |
[votour] Fix/disable warnings.
Diffstat (limited to 'checker/analyze.ml')
| -rw-r--r-- | checker/analyze.ml | 4 |
1 files changed, 3 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 |