<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  </head>
  <body>
    <font size="4"><font face="monospace">I don't disagree that Scanner
        is suboptimal, and I'm happy to entertain proposals for a
        replacement.  But that's a separate project, and I think holding
        this one because someday we can improve Scanner is not the right
        move.  <br>
      </font></font><br>
    <div class="moz-cite-prefix">On 5/9/2023 3:40 PM, Remi Forax wrote:<br>
    </div>
    <blockquote type="cite" cite="mid:516154913.52215047.1683661223894.JavaMail.zimbra@univ-eiffel.fr">
      <div><br>
      </div>
      <div><br data-mce-bogus="1">
      </div>
      <div>Hi Brian, i agree with what you are saying, but Reiner is
        right on one point, students will run into Scanner pretty early,
        when we introduce loops in our curriculum, working on files
        redirected into stdin is the source of numerous exercises.</div>
    </blockquote>
    <br>
  </body>
</html>