[MLton] redundant case rules warning

Lukasz S Ziarek lziarek@cs.purdue.edu
Wed, 8 Sep 2004 15:30:49 -0500 (EST)


On Wed, 8 Sep 2004, Stephen Weeks wrote:

>
> > Could someone enlighten me to why the following case has redundant rules.
> > I am casing on the primitive name in a prim app in the SSA il.
> >
> > case Prim.name prim
> >   of Ref_ref => ...
> >    | Ref_dref => ...
> >    | _ => ...
>
> My guess is that datatype Prim.Name.t is not in scope.  Also, it
> should be Ref_deref, not Ref_dref.

Yep, just caught my mistake, indeed Prim.Name.t was not in scope (as well
as the deref error).

thanks
Luke

>
> _______________________________________________
> MLton mailing list
> MLton@mlton.org
> http://www.mlton.org/mailman/listinfo/mlton
>