Re: [Caml-list] Warning 20: Unused function argument

[Francois Berenger <berenger@riken.jp>]

On 03/22/2013 07:18 PM, Jacques Garrigue wrote:
> On 2013/03/22, at 18:02, Francois Berenger <berenger@riken.jp> wrote:
>
>> Hello,
>>
>> I understand it is turned off by default.
>>
>> I am a bit surprised as it is as important
>> to me as an unused variable, which triggers a warning
>> by default.
>
> Actually, this whole thread is based on a misunderstanding.
> This waning is enabled by default (as you can see with ocaml -help),
> but, as Gabriel pointed, it is about arguments passed to functions,
> not about formal parameters.

So, there is no warning about unused formal parameters?

After some large refactoring of some code, I may have some.

If I understand correctly:

# ocaml -w +20
# let test_w20 x y z = x, y;;
val test_w20 : 'a -> 'b -> 'c -> 'a * 'b = <fun>
# test_w20 1 2 3;;
- : int * int = (1, 2)

Produces no warning.

Thanks,
F.