[m-dev.] io streams

[Fergus Henderson]

On 26-Dec-1999, Ralph Becket <rbeck at microsoft.com> wrote:
> One problem with this
> is that mtags gets confused (it doesn't understand qualification)
> if qualification is used inconsistently - this may mean that mtags
> needs changing

I fixed that on Thursday.  The fix should be in the next ROTD.

> One thing, though: I don't like the idea of qualifying
> typeclass methods.  To my mind, methods are bound to the
> typeclass, which can be instantiated anywhere, not the
> module defining the typeclass.

I think qualifying typeclass methods makes sense in a lot of cases.
For example, suppose the standard library modules `set' and `map'
where changed to use typeclasses.  Then IMHO it would still make sense
to refer to e.g. `set__union' or `map__lookup' rather than just
`union' or `lookup'.

-- 
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
--------------------------------------------------------------------------