Implement ordering comparisons for type-level naturals and symbols.
[ghc.git] / compiler / typecheck /
drwxr-xr-x   ..
-rw-r--r-- 12437 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-- 61470 TcBinds.lhs
-rw-r--r-- 57297 TcCanonical.lhs
-rw-r--r-- 15693 TcClassDcl.lhs
-rw-r--r-- 3645 TcDefaults.lhs
-rw-r--r-- 94623 TcDeriv.lhs
-rw-r--r-- 35693 TcEnv.lhs
-rw-r--r-- 82 TcEnv.lhs-boot
-rw-r--r-- 60155 TcErrors.lhs
-rw-r--r-- 30988 TcEvidence.lhs
-rw-r--r-- 64767 TcExpr.lhs
-rw-r--r-- 637 TcExpr.lhs-boot
-rw-r--r-- 21984 TcForeign.lhs
-rw-r--r-- 93489 TcGenDeriv.lhs
-rw-r--r-- 37169 TcGenGenerics.lhs
-rw-r--r-- 59178 TcHsSyn.lhs
-rw-r--r-- 72585 TcHsType.lhs
-rw-r--r-- 63695 TcInstDcls.lhs
-rw-r--r-- 89353 TcInteract.lhs
-rw-r--r-- 36538 TcMType.lhs
-rw-r--r-- 36221 TcMatches.lhs
-rw-r--r-- 527 TcMatches.lhs-boot
-rw-r--r-- 45156 TcPat.lhs
-rw-r--r-- 12880 TcPatSyn.lhs
-rw-r--r-- 423 TcPatSyn.lhs-boot
-rw-r--r-- 91993 TcRnDriver.lhs
-rw-r--r-- 49794 TcRnMonad.lhs
-rw-r--r-- 76806 TcRnTypes.lhs
-rw-r--r-- 204 TcRnTypes.lhs-boot
-rw-r--r-- 9095 TcRules.lhs
-rw-r--r-- 74444 TcSMonad.lhs
-rw-r--r-- 59377 TcSimplify.lhs
-rw-r--r-- 63194 TcSplice.lhs
-rw-r--r-- 1462 TcSplice.lhs-boot
-rw-r--r-- 96452 TcTyClsDecls.lhs
-rw-r--r-- 34518 TcTyDecls.lhs
-rw-r--r-- 61129 TcType.lhs
-rw-r--r-- 154 TcType.lhs-boot
-rw-r--r-- 21147 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-- 51873 TcValidity.lhs