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