
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    Hello,<br>

    <br>

    I have the following module:<br>

    <blockquote>-module(exception).<br>

      <br>

      -export([<br>

      Â Â Â  foo/1<br>

      ]).<br>

      <br>

      foo(Any) -><br>

      Â Â Â  try Any + 1 of<br>

      Â Â Â  Â Â Â  Any -> ok<br>

      Â Â Â  catch<br>

      Â Â Â  Â Â Â  Error -> {not_typed, Error};Â Â Â Â Â Â Â Â Â  Â  Â  Â Â  % warn?<br>

      Â Â Â  Â Â Â  any:Error -> {any_error, Error};Â Â  Â  Â  Â  Â  % warn?<br>

      Â Â Â  Â Â Â  Type:Error -> {typed_error, {Type, Error}}<br>

      Â Â Â  end.<br>

    </blockquote>

    Compiler doesn't complain about the marked lines. Neither does

    dialyzer.<br>

    Is there any rationale for such behaviour? Or is it a bug?<br>

    <br>

    P.S. I use Erlang/OTP 20 [erts-9.3.2].<br>

    <br>

    Regards,<br>

    Dinislam Salikhov<br>

  </body>

</html>