<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Oct 5, 2016 at 10:02 PM, Michael Sloan <span dir="ltr"><<a href="mailto:mgsloan@gmail.com" target="_blank">mgsloan@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":22r" class="a3s aXjCH m15797ba5b101b79d">What if instead we re-framed this as a "top-level where clause", like this:<br>
<span class=""><br>
main :: IO ()<br>
main = putStrLn ("Hi" <> "There")<br>
<br>
</span>other-function :: IO ()<br>
other-function = putStrLn ("I can " <> "also use it")<br>
<br>
-- NOTE: 0 indent!<br>
<br>
where<br>
<span class=""> (<>) :: String -> String -> String<br>
(<>) = (++)<br></span></div></blockquote></div><br>This would actually be slightly odd parse-wise, as we're already *in* an unindented where clause (module ... where)<br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>brandon s allbery kf8nh sine nomine associates</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a> <a href="mailto:ballbery@sinenomine.net" target="_blank">ballbery@sinenomine.net</a></div><div>unix, openafs, kerberos, infrastructure, xmonad <a href="http://sinenomine.net" target="_blank">http://sinenomine.net</a></div></div></div>
</div></div>