Fix solving of implicit parameter constraints
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 42272 FamInst.hs
-rw-r--r-- 1048 Flattening-notes
-rw-r--r-- 26612 FunDeps.hs
-rw-r--r-- 33462 Inst.hs
-rw-r--r-- 2649 TcAnnotations.hs
-rw-r--r-- 16588 TcArrows.hs
-rw-r--r-- 46205 TcBackpack.hs
-rw-r--r-- 73554 TcBinds.hs
-rw-r--r-- 84415 TcCanonical.hs
-rw-r--r-- 21179 TcClassDcl.hs
-rw-r--r-- 3941 TcDefaults.hs
-rw-r--r-- 81855 TcDeriv.hs
-rw-r--r-- 39193 TcDerivInfer.hs
-rw-r--r-- 34262 TcDerivUtils.hs
-rw-r--r-- 42503 TcEnv.hs
-rw-r--r-- 257 TcEnv.hs-boot
-rw-r--r-- 129363 TcErrors.hs
-rw-r--r-- 36780 TcEvidence.hs
-rw-r--r-- 119541 TcExpr.hs
-rw-r--r-- 1190 TcExpr.hs-boot
-rw-r--r-- 63699 TcFlatten.hs
-rw-r--r-- 23492 TcForeign.hs
-rw-r--r-- 86905 TcGenDeriv.hs
-rw-r--r-- 51803 TcGenFunctor.hs
-rw-r--r-- 41908 TcGenGenerics.hs
-rw-r--r-- 69610 TcHsSyn.hs
-rw-r--r-- 103292 TcHsType.hs
-rw-r--r-- 78962 TcInstDcls.hs
-rw-r--r-- 425 TcInstDcls.hs-boot
-rw-r--r-- 110128 TcInteract.hs
-rw-r--r-- 67251 TcMType.hs
-rw-r--r-- 49674 TcMatches.hs
-rw-r--r-- 562 TcMatches.hs-boot
-rw-r--r-- 50379 TcPat.hs
-rw-r--r-- 38228 TcPatSyn.hs
-rw-r--r-- 558 TcPatSyn.hs-boot
-rw-r--r-- 5634 TcPluginM.hs
-rw-r--r-- 113178 TcRnDriver.hs
-rw-r--r-- 401 TcRnDriver.hs-boot
-rw-r--r-- 29437 TcRnExports.hs
-rw-r--r-- 68899 TcRnMonad.hs
-rw-r--r-- 147952 TcRnTypes.hs
-rw-r--r-- 14414 TcRules.hs
-rw-r--r-- 121188 TcSMonad.hs
-rw-r--r-- 29829 TcSigs.hs
-rw-r--r-- 101471 TcSimplify.hs
-rw-r--r-- 226 TcSimplify.hs-boot
-rw-r--r-- 85442 TcSplice.hs
-rw-r--r-- 1380 TcSplice.hs-boot
-rw-r--r-- 144057 TcTyClsDecls.hs
-rw-r--r-- 40963 TcTyDecls.hs
-rw-r--r-- 103357 TcType.hs
-rw-r--r-- 163 TcType.hs-boot
-rw-r--r-- 24149 TcTypeNats.hs
-rw-r--r-- 72 TcTypeNats.hs-boot
-rw-r--r-- 29725 TcTypeable.hs
-rw-r--r-- 88940 TcUnify.hs
-rw-r--r-- 468 TcUnify.hs-boot
-rw-r--r-- 82584 TcValidity.hs