<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"><style type="text/css">body { background: rgba(255, 255, 255, 255); }</style></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On May 7, 2019, at 6:14 PM, Brian Goetz <<a href="mailto:brian.goetz@oracle.com" class="">brian.goetz@oracle.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">. . . at the end of the line, one cannot differentiate between \<eol> and \<space> when reading the code.</div></div></blockquote><br class=""></div><div>This suggests a design constraint for the ESL: whatever \<eol> means, \<horizontal space><eol> ought to mean the same thing.</div><div><br class=""></div><br class=""></body></html>