@@ -473,8 +473,8 @@ irSC vs (Case n [ConCase (UN delay) i [_, _, n'] sc])
473irSC vs (Case n [alt]) = do
473irSC vs (Case n [alt]) = do
474 replacement <- case alt of
474 replacement <- case alt of
475 ConCase cn a ns sc -> do
475 ConCase cn a ns sc -> do
476− detag <- fgetState (opt_detaggable . ist_optimisation n)
476+ detag <- fgetState (opt_detaggable . ist_optimisation cn)
477− used <- map fst <$> fgetState (cg_usedpos . ist_callgraph n)
477+ used <- map fst <$> fgetState (cg_usedpos . ist_callgraph cn)
478 if detag && length used == 1
478 if detag && length used == 1
479 then return . Just $ substSC (ns !! head used) n sc
479 then return . Just $ substSC (ns !! head used) n sc
480 else return Nothing
480 else return Nothing