[Haskell-cafe] Type Directed Name Resolution
ketil at malde.org
Wed Nov 10 05:37:45 EST 2010
John Smith <voldermort at hotmail.com> writes:
> Type-directed name resolution, as originally proposed for Haskell',
> has now been proposed for GHC. Obvious benefits of this are
Does that mean all the questions have been resolved? Can this be shown
to interact sanely with type classes and GADTs, etc? I couldn't find
any *answers* when following the links, just more questions.
Is the intention still to use the dot for this, and separate the
different meanings for this symbol by varying the whitespace around it?
If I haven't seen further, it is by standing in the footprints of giants
More information about the Haskell-Cafe