[MLton] redundant case rules warning

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


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


Warning: ssa/hoist.fun 274.43:
   Case has redundant rules.
   rules: Ref_dref => setAlias (n, addAlias (  ...  lias))))), alias),
store)
          _ => setAlias (n, alias, store)
   in: case Prim.name prim of (Ref_ref) =>  ...  tAlias (n, alias, store))


thanks,
Luke