Searched refs:otherCons (Results 1 – 5 of 5) sorted by relevance
64 maybeUnfoldingTemplate, otherCons,1406 otherCons :: Unfolding -> [AltCon]1407 otherCons (OtherCon cons) = cons function1408 otherCons _ = [] function
69 maybeUnfoldingTemplate, otherCons,1678 otherCons :: Unfolding -> [AltCon]1679 otherCons (OtherCon cons) = cons function1680 otherCons _ = [] function
67 maybeUnfoldingTemplate, otherCons,1668 otherCons :: Unfolding -> [AltCon]1669 otherCons (OtherCon cons) = cons function1670 otherCons _ = [] function
2047 Var v -> otherCons (idUnfolding v)