John Smith <volderm...@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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to