Commit 3f596477 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Don't export isTcReflCo_maybe (unused)

parent 74894e0b
......@@ -25,7 +25,7 @@ module TcEvidence (
mkTcSymCo, mkTcTransCo, mkTcNthCo, mkTcLRCo, mkTcSubCo,
mkTcAxiomRuleCo,
tcCoercionKind, coVarsOfTcCo, isEqVar, mkTcCoVarCo,
isTcReflCo, isTcReflCo_maybe, getTcCoVar_maybe,
isTcReflCo, getTcCoVar_maybe,
tcCoercionRole, eqVarRole,
coercionToTcCoercion
) where
......
Markdown is supported
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