Further refine the test for 'given' equalities
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 12345 FamInst.lhs
-rw-r--r-- 24408 FunDeps.lhs
-rw-r--r-- 21296 Inst.lhs
-rw-r--r-- 1827 TcAnnotations.lhs
-rw-r--r-- 14779 TcArrows.lhs
-rw-r--r-- 59642 TcBinds.lhs
-rw-r--r-- 57070 TcCanonical.lhs
-rw-r--r-- 15550 TcClassDcl.lhs
-rw-r--r-- 3645 TcDefaults.lhs
-rw-r--r-- 91249 TcDeriv.lhs
-rw-r--r-- 35197 TcEnv.lhs
-rw-r--r-- 82 TcEnv.lhs-boot
-rw-r--r-- 60580 TcErrors.lhs
-rw-r--r-- 30679 TcEvidence.lhs
-rw-r--r-- 64341 TcExpr.lhs
-rw-r--r-- 637 TcExpr.lhs-boot
-rw-r--r-- 21939 TcForeign.lhs
-rw-r--r-- 93394 TcGenDeriv.lhs
-rw-r--r-- 37022 TcGenGenerics.lhs
-rw-r--r-- 57774 TcHsSyn.lhs
-rw-r--r-- 72556 TcHsType.lhs
-rw-r--r-- 63317 TcInstDcls.lhs
-rw-r--r-- 89971 TcInteract.lhs
-rw-r--r-- 37301 TcMType.lhs
-rw-r--r-- 36221 TcMatches.lhs
-rw-r--r-- 527 TcMatches.lhs-boot
-rw-r--r-- 39941 TcPat.lhs
-rw-r--r-- 92437 TcRnDriver.lhs
-rw-r--r-- 49254 TcRnMonad.lhs
-rw-r--r-- 76222 TcRnTypes.lhs
-rw-r--r-- 204 TcRnTypes.lhs-boot
-rw-r--r-- 9095 TcRules.lhs
-rw-r--r-- 74043 TcSMonad.lhs
-rw-r--r-- 58663 TcSimplify.lhs
-rw-r--r-- 63078 TcSplice.lhs
-rw-r--r-- 1462 TcSplice.lhs-boot
-rw-r--r-- 95581 TcTyClsDecls.lhs
-rw-r--r-- 34522 TcTyDecls.lhs
-rw-r--r-- 61659 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 17193 TcTypeNats.hs
-rw-r--r-- 72 TcTypeNats.hs-boot
-rw-r--r-- 45952 TcUnify.lhs
-rw-r--r-- 279 TcUnify.lhs-boot
-rw-r--r-- 51872 TcValidity.lhs