[m-dev.] An optimization worth doing.

[Lee Naish]

In message <199702100638.RAA20147 at mundook.cs.mu.OZ.AU>you write:
>Lee Naish, you wrote:
>> 
>> As for whether its a Mercury defficiency or a Mercury implementation
>> defficiency, Fergus might be right but I suspect some changes to the
>> Mercury type system would be needed to get the additional
>> expressiveness.
>
>That may be right; or it certainly may be _easier_ if there are some
>additional changes to give the compiler appropriate hints about
>when to "inline" data structures.

And the code generated for append might be a bit messy if the compiler
didn't know if append was going to be called with ordinary lists or
inlined lists or some mixture of both.  Of course if real programmers
wanted polymorphism then real programming languages would really support
it.  Surely????

>> Enough of my day wasted...

Oops!  Wrong again.

	lee