Commit ed51bb0f authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Removed unused unwrapFamInstBody from MkId

parent 60e9e613
......@@ -402,16 +402,6 @@ wrapFamInstBody tycon args result_expr
= mkCoerce (mkSymCoercion (mkTyConApp co_con args)) result_expr
| otherwise
= result_expr
-- Apply the coercion in the opposite direction.
--
unwrapFamInstBody :: TyCon -> [Type] -> CoreExpr -> CoreExpr
unwrapFamInstBody tycon args result_expr
| Just co_con <- tyConFamilyCoercion_maybe tycon
= mkCoerce (mkTyConApp co_con args) result_expr
| otherwise
= result_expr
\end{code}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment