diff options
Diffstat (limited to 'compiler/hsSyn/HsBinds.lhs')
| -rw-r--r-- | compiler/hsSyn/HsBinds.lhs | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs index f15ef5d3cc..24ed16f1c9 100644 --- a/compiler/hsSyn/HsBinds.lhs +++ b/compiler/hsSyn/HsBinds.lhs @@ -574,22 +574,6 @@ signatures. Since some of the signatures contain a list of names, testing for equality is not enough -- we have to check if they overlap. \begin{code} -overlapHsSig :: Eq a => LSig a -> LSig a -> Bool -overlapHsSig sig1 sig2 = case (unLoc sig1, unLoc sig2) of - (FixSig (FixitySig n1 _), FixSig (FixitySig n2 _)) -> unLoc n1 == unLoc n2 - (IdSig n1, IdSig n2) -> n1 == n2 - (TypeSig ns1 _, TypeSig ns2 _) -> ns1 `overlaps_with` ns2 - (GenericSig ns1 _, GenericSig ns2 _) -> ns1 `overlaps_with` ns2 - (InlineSig n1 _, InlineSig n2 _) -> unLoc n1 == unLoc n2 - -- For specialisations, we don't have equality over HsType, so it's not - -- convenient to spot duplicate specialisations here. Check for this later, - -- when we're in Type land - (_other1, _other2) -> False - where - ns1 `overlaps_with` ns2 = not (null (intersect (map unLoc ns1) (map unLoc ns2))) -\end{code} - -\begin{code} instance (OutputableBndr name) => Outputable (Sig name) where ppr sig = ppr_sig sig |