for review: fix for inlining of polymorphic procedures

[Fergus Henderson]

On 23-Feb-1998, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > A much nicer fix would be to still perform the common structure
> > elimination even if the structures have different types, but to
> > preserve type correctness by inserting calls to an `unsafe_type_cast'
> > predicate:
> 
> Thanks Fergus, that's a good idea. Here's the new diff.

That looks fine now.  Thanks.

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