<div dir="ltr"><div><br></div>On 13 July 2017 at 16:13, Clinton Mead <span dir="ltr"><<a href="mailto:clintonmead@gmail.com" target="_blank">clintonmead@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">I think MarLinn was highlighting that this line:<span class="gmail-"><div><span style="font-size:12.8px"><font face="monospace, monospace">> foo ‹（’-’‹） bar = False</font></span><br></div><div><span style="font-size:12.8px"><br></span></div></span><div><span style="font-size:12.8px">Should read like this:</span> </div></div></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><span class="gmail-"><div><span style="font-family:monospace,monospace;font-size:12.8px">> foo ‹（’-’）</span><span style="font-family:monospace,monospace;font-size:12.8px">‹</span><span style="font-family:monospace,monospace;font-size:12.8px"> bar = False</span><br></div></span></div></blockquote><div><br></div><div>That doesn't seem to help, unfortunately. It says:</div><div><br></div><div><span style="font-family:monospace,monospace;font-size:12.8px"></span>> Main.hs:1:5: error: lexical error at character '\8249'</div><div><br></div><div><br></div></div>