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