[Haskell-cafe] Syntax extension - adding import support to let/where bindings

Brandon Allbery allbery.b at gmail.com
Fri Aug 7 15:41:55 UTC 2015

On Fri, Aug 7, 2015 at 11:16 AM, Richard Eisenberg <eir at cis.upenn.edu>

> This all seems to be solidifying nicely. From my perspective, I didn't
> really like the original proposal, but am now in favor of where it has
> evolved -- with all imports declared at the top, and then adding `import
> ...` to the syntax of local declarations. I'm not sure where the trouble
> around instances comes from in this idea, though. Even if a module is
> imported qualified, all of its instances are available anywhere, and I
> don't see that changing here. As Edward said, this would just be a small
> change in the renamer.

The initial request wanted the import to actually be done in in the
restricted scope; keeping the actual qualified import at the top and
removing the qualification in the inner scope came later. That initial
version has problems for instances; the later revision does not.

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/haskell-cafe/attachments/20150807/6acca3c8/attachment.html>

More information about the Haskell-Cafe mailing list