[m-dev.] io streams

[Fergus Henderson]

On 05-Jan-2000, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> This is where default methods are important:  they allow you to add new
> methods to type classes without forcing every instance declaration
> (which may be in user code) to change, as long as the new methods have
> defaults.  It may even be possible to change an existing ordinary
> library predicate into a method without changing code that uses it,
> provided the existing code doesn't explicitly module qualify calls to
> it (would this be possible, DJ?).

That would be possible.  It would be possible even if the calls
where module qualified, so long as the type class and the
library predicate are defined in the same module.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------