Searched refs:wrap_unf (Results 1 – 4 of 4) sorted by relevance
651 `setUnfoldingInfo` wrap_unf680 wrap_unf | isNewTyCon tycon = mkCompulsoryUnfolding wrap_rhs function
692 `setUnfoldingInfo` wrap_unf722 wrap_unf | isNewTyCon tycon = mkCompulsoryUnfolding wrap_rhs function
712 `setUnfoldingInfo` wrap_unf742 wrap_unf | isNewTyCon tycon = mkCompulsoryUnfolding defaultSimpleOpts wrap_rhs function