
<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>