Fix #14934 by including axSub0R in typeNatCoAxiomRules
[ghc.git] / compiler / iface /
drwxr-xr-x   ..
-rw-r--r-- 1418 BinFingerprint.hs
-rw-r--r-- 15120 BinIface.hs
-rw-r--r-- 18865 BuildTyCl.hs
-rw-r--r-- 7339 FlagChecker.hs
-rw-r--r-- 10522 IfaceEnv.hs
-rw-r--r-- 163 IfaceEnv.hs-boot
-rw-r--r-- 85972 IfaceSyn.hs
-rw-r--r-- 55009 IfaceType.hs
-rw-r--r-- 460 IfaceType.hs-boot
-rw-r--r-- 52642 LoadIface.hs
-rw-r--r-- 177 LoadIface.hs-boot
-rw-r--r-- 81139 MkIface.hs
-rw-r--r-- 86728 TcIface.hs
-rw-r--r-- 879 TcIface.hs-boot
-rw-r--r-- 23253 ToIface.hs
-rw-r--r-- 560 ToIface.hs-boot