[Haskell-cafe] Type Directed Name Resolution

[Ketil Malde]

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?

-k
-- 
If I haven't seen further, it is by standing in the footprints of giants