Type checking for type synonym families
[ghc-hetmet.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 7764 FamInst.lhs
-rw-r--r-- 35915 Inst.lhs
-rw-r--r-- 10831 TcArrows.lhs
-rw-r--r-- 44855 TcBinds.lhs
-rw-r--r-- 27122 TcClassDcl.lhs
-rw-r--r-- 3059 TcDefaults.lhs
-rw-r--r-- 42899 TcDeriv.lhs
-rw-r--r-- 23934 TcEnv.lhs
-rw-r--r-- 82 TcEnv.lhs-boot
-rw-r--r-- 520 TcExpr.hi-boot-6
-rw-r--r-- 42940 TcExpr.lhs
-rw-r--r-- 545 TcExpr.lhs-boot
-rw-r--r-- 11561 TcForeign.lhs
-rw-r--r-- 18209 TcGadt.lhs
-rw-r--r-- 49366 TcGenDeriv.lhs
-rw-r--r-- 33339 TcHsSyn.lhs
-rw-r--r-- 28758 TcHsType.lhs
-rw-r--r-- 33090 TcInstDcls.lhs
-rw-r--r-- 43516 TcMType.lhs
-rw-r--r-- 316 TcMatches.hi-boot-6
-rw-r--r-- 18693 TcMatches.lhs
-rw-r--r-- 370 TcMatches.lhs-boot
-rw-r--r-- 37369 TcPat.lhs
-rw-r--r-- 48115 TcRnDriver.lhs
-rw-r--r-- 31816 TcRnMonad.lhs
-rw-r--r-- 32282 TcRnTypes.lhs
-rw-r--r-- 204 TcRnTypes.lhs-boot
-rw-r--r-- 3705 TcRules.lhs
-rw-r--r-- 112275 TcSimplify.lhs
-rw-r--r-- 459 TcSplice.hi-boot-6
-rw-r--r-- 23222 TcSplice.lhs
-rw-r--r-- 425 TcSplice.lhs-boot
-rw-r--r-- 50052 TcTyClsDecls.lhs
-rw-r--r-- 12031 TcTyDecls.lhs
-rw-r--r-- 29496 TcTyFuns.lhs
-rw-r--r-- 97 TcType.hi-boot-6
-rw-r--r-- 44778 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 241 TcUnify.hi-boot-6
-rw-r--r-- 79243 TcUnify.lhs
-rw-r--r-- 385 TcUnify.lhs-boot