ttings.  This
      means that the effect of any call to <code class="code">warning_attribute</code> during
      the execution of this function will be discarded after
      execution.</p>

<p>The function also takes a list of attributes which are processed
      with <code class="code">warning_attribute</code> in the fresh scope before the function
      is executed.</p>
</div>
</div>

<pre><span id="VALwarn_on_literal_pattern"><span class="keyword">val</span> warn_on_literal_pattern</span> : <code class=