Add some invariant checking for refinements
[ghc-hetmet.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 28875 Inst.lhs
-rw-r--r-- 11451 TcArrows.lhs
-rw-r--r-- 44881 TcBinds.lhs
-rw-r--r-- 28218 TcClassDcl.lhs
-rw-r--r-- 2586 TcDefaults.lhs
-rw-r--r-- 35467 TcDeriv.lhs
-rw-r--r-- 21407 TcEnv.lhs
-rw-r--r-- 520 TcExpr.hi-boot-6
-rw-r--r-- 41297 TcExpr.lhs
-rw-r--r-- 545 TcExpr.lhs-boot
-rw-r--r-- 12551 TcForeign.lhs
-rw-r--r-- 18581 TcGadt.lhs
-rw-r--r-- 50181 TcGenDeriv.lhs
-rw-r--r-- 34070 TcHsSyn.lhs
-rw-r--r-- 28619 TcHsType.lhs
-rw-r--r-- 23963 TcInstDcls.lhs
-rw-r--r-- 40958 TcMType.lhs
-rw-r--r-- 299 TcMatches.hi-boot-6
-rw-r--r-- 19339 TcMatches.lhs
-rw-r--r-- 360 TcMatches.lhs-boot
-rw-r--r-- 31726 TcPat.lhs
-rw-r--r-- 46255 TcRnDriver.lhs
-rw-r--r-- 33774 TcRnMonad.lhs
-rw-r--r-- 29358 TcRnTypes.lhs
-rw-r--r-- 4157 TcRules.lhs
-rw-r--r-- 88426 TcSimplify.lhs
-rw-r--r-- 459 TcSplice.hi-boot-6
-rw-r--r-- 24260 TcSplice.lhs
-rw-r--r-- 501 TcSplice.lhs-boot
-rw-r--r-- 35241 TcTyClsDecls.lhs
-rw-r--r-- 12391 TcTyDecls.lhs
-rw-r--r-- 97 TcType.hi-boot-6
-rw-r--r-- 44781 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 241 TcUnify.hi-boot-6
-rw-r--r-- 70196 TcUnify.lhs
-rw-r--r-- 289 TcUnify.lhs-boot