[MLton] redundant case rules warning

Stephen Weeks MLton@mlton.org
Wed, 8 Sep 2004 13:26:15 -0700


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