about qualified imports and TDNR:
for  x.f  to work (as in the proposal),
the name  f  must be in scope (that is, be imported unqualified)?

That would be bad
(unqualified imports should be discouraged).


In Java, the methods of a type are automatically in scope,
e.g., the ".bitCount()" works without any "import":

System.out.println ( java.math.BigInteger.TEN.bitCount() );

see JLS 15.12.1 item 1.3 ("in all other cases...")


J.W.

Attachment: signature.asc
Description: OpenPGP digital signature

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to