Re: [Haskell-cafe] Type Directed Name Resolution

John Smith 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