case expressions/transfers

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 9 Jan 2002 16:18:44 -0500 (EST)


> > This all happens in type-inference/match-compile.fun.  I thought that
> > the code was supposed to eliminate redundant branches for both
> > constructors and consts, but you're right, it isn't for constructors.
> > I am investigating.
> 
> Fixed and checked in.

Thanks.