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

[Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>]

On 2013/03/25, at 13:58, Francois Berenger <berenger@riken.jp> wrote:

> 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.

You are just using the wrong warning:

$ ocaml -w +27
        OCaml version 4.00.2+dev0-2012-10-03

# let test_w20 x y z = x, y;;
Warning 27: unused variable z.
val test_w20 : 'a -> 'b -> 'c -> 'a * 'b = <fun>

But expect lots of warning in legacy code, as it warns
about _all_ unused variables, including inside
pattern-matching.

	Jacques