<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
The POC indeed does this now (error otherwise).
<div class="">
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">
<div>
<blockquote type="cite" class="">
<div class="">On Oct 20, 2022, at 10:12 AM, Guy Steele <<a href="mailto:guy.steele@oracle.com" class="">guy.steele@oracle.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div dir="auto" class="">
<div dir="ltr" class=""><br class="">
</div>
<div dir="ltr" class="">
<blockquote type="cite" class="">On Oct 19, 2022, at 4:16 PM, John Rose <<a href="mailto:john.r.rose@oracle.com" class="">john.r.rose@oracle.com</a>> wrote:</blockquote>
. . .</div>
<blockquote type="cite" class="">
<div dir="ltr" class="">
<div style="font-family: sans-serif;" class="">
<div class="markdown" style="white-space: normal;">
<p dir="auto" class="">If we introduce a new way of naming (implicit names) we will have to roll out rules for mapping the name-precursor (a filename) to a name. This will have its own headaches, since different OSs have different alphabets and syntaxes, and
none of those alphabets or syntaxes are fully compatible with native Java class names. So we’d have to saddle ourselves with a name mangling scheme to launder a random filename into a source-denotable Java class name. If ever there was a siren song, this is
a loud one!</p>
</div>
</div>
</div>
</blockquote>
<br class="">
<div class="">If we go down that path, this problem is easily addressed: simply reject the program if its file name is not trivially mappable (via the identity transformation) to a <span style="font-family: sans-serif;" class="">source-denotable Java class
name. This rule may seem draconian to some, but it would serve the purpose of guiding the new programmer to use already customary file-naming conventions. </span></div>
<div class=""><span style="font-family: sans-serif;" class=""><br class="">
</span></div>
</div>
</div>
</blockquote>
</div>
<br class="">
</div>
</div>
</body>
</html>