New syntax for GADT-style record declarations, and associated refactoring
[ghc-hetmet.git] / compiler / iface /
drwxr-xr-x   ..
-rw-r--r-- 40007 BinIface.hs
-rw-r--r-- 13139 BuildTyCl.lhs
-rw-r--r-- 11295 IfaceEnv.lhs
-rw-r--r-- 30637 IfaceSyn.lhs
-rw-r--r-- 11879 IfaceType.lhs
-rw-r--r-- 28559 LoadIface.lhs
-rw-r--r-- 63231 MkIface.lhs
-rw-r--r-- 47738 TcIface.lhs
-rw-r--r-- 721 TcIface.lhs-boot