Don't export isTcReflCo_maybe (unused)
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Mar 2014 15:25:30 +0000 (15:25 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 24 Mar 2014 08:28:01 +0000 (08:28 +0000)
compiler/typecheck/TcEvidence.lhs

index 3471b32..0ad4456 100644 (file)
@@ -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