[Haskell-cafe] Re: Overloading functions based on arguments?

[Ketil Malde]

"John A. De Goes" <john at n-brain.net> writes:

> I'm referring to a rather conservative proposal wherein if there is
> one and exactly one definition that allows an expression to type, then
> name overloading in the same scope is permitted.

Perhaps this was discussed in the context of records and field
accessors? 

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