[Haskell-cafe] Syntax extension - adding import support to let/where bindings
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...
More information about the Haskell-Cafe