[Haskell-cafe] Type Directed Name Resolution

Ketil Malde 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?

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


More information about the Haskell-Cafe mailing list