Allow top-level shadowing for imported names?

[Brandon Allbery]

On Wed, Oct 5, 2016 at 10:02 PM, Michael Sloan <mgsloan at gmail.com> wrote:

> What if instead we re-framed this as a "top-level where clause", like this:
>
> main :: IO ()
> main = putStrLn ("Hi" <> "There")
>
> other-function :: IO ()
> other-function = putStrLn ("I can " <> "also use it")
>
> -- NOTE: 0 indent!
>
> where
>     (<>) :: String -> String -> String
>     (<>) = (++)
>

This would actually be slightly odd parse-wise, as we're already *in* an
unindented where clause (module ... where)

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161005/b97bf72c/attachment.html>