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