"Simon Peyton-Jones" <[EMAIL PROTECTED]> writes: > Brian Hulley wrote:
> | import A.B.C( T1 ) from "foo" > | import A.B.C( T2 ) from "bar" > | type S = A.B.C.T1 -> A.B.C.T2 > | I'd suggest that the above should give a compiler error that A.B.C is > | ambiguous (as a qualifier), rather than allowing T1 to disambiguate it, > But that's inconsistent with Haskell 98. FWIW, I agree with Brian that this is not good practice. If it can't be forbidden, I would suggest that compilers emit a warning about 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
