Re: [Caml-list] Suppress warning from within Ocaml source file

["Daniel Bünzli" <daniel.buenzli@erratique.ch>]

Le jeudi, 12 novembre 2015 à 12:21, Mr. Herr a écrit :
> On the other hand:
>  
> it is quite possible that your with-construct is more harmful than useful:
>  
> when extending the record, the compiler will not flag the lines in your code you have
> to check.


That still doesn't answer why this warning exists at all. Of course depending on context you should or should not use `with` according to the kind of type-checking you want when you evolve your code base.

But the purpose of the `with` construct is precisely that you do not have to list all the other fields which is quite natural for functional record updates. Besides the kind of code evolution Michael mentions is also quite natural and thus I don't see why the compiler should complain if you happen to mention all the fields in the with construct.  

Nobody provided me with a good answer to the question: why is this a problem and I should be warned about this ? The only answer I got (cf PR 6179) was "we receive many complaints about warnings so just turn it off".

Daniel