<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p><br>
    </p>
    <div class="moz-cite-prefix">Le 15/01/2022 à 15:32, Terry Phelps a
      écrit :</div>
    <div class="moz-cite-prefix">...<br>
    </div>
    <blockquote type="cite"
cite="mid:CAMUfR_ufzaAd4Nz+DpLQeqnisABYJ1-1A1bfsO3DgQenHiDsew@mail.gmail.com">
      <div><b><font face="Courier New, Courier, monospace">last [] = []
          </font></b><br>
      </div>
      <div>(Yes, I know that's not a non-empty list, but I don't want
        ghci whining about non-exhaustive patterns). Then I added:</div>
      <div><br>
      </div>
      <div><font face="Courier New, Courier, monospace"><b>last [x] = x</b></font></div>
    </blockquote>
    <p><br>
    </p>
    <p>Please notice that these two clauses are type-incoherent, unless
      <font face="Courier New, Courier, monospace"><b>x</b></font> is a
      list</p>
    <p>Jerzy Karczmarczuk</p>
    <p><br>
    </p>
  <div id="DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2">
<br /><br />
<hr style='border:none; color:#909090; background-color:#B0B0B0; height: 1px; width: 99%;' />
<table style='border-collapse:collapse;border:none;'>
        <tr>
                <td style='border:none;padding:0px 15px 0px 8px'>
                        <a href="https://www.avast.com/antivirus">
                                <img border=0 src="http://static.avast.com/emails/avast-mail-stamp.png" alt="Avast logo" />
                        </a>
                </td>
                <td>
                        <p style='color:#3d4d5a; font-family:"Calibri","Verdana","Arial","Helvetica"; font-size:12pt;'>
                                L'absence de virus dans ce courrier électronique a été vérifiée par le logiciel antivirus Avast.
                                <br><a href="https://www.avast.com/antivirus">www.avast.com</a>
                        </p>
                </td>
        </tr>
</table>
<br />
<a href="#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2" width="1" height="1"> </a></div>
<br>

<br>
</body>
</html>