Kind and type checking of indexed types
[ghc.git] / compiler / ndpFlatten /
drwxr-xr-x   ..
-rw-r--r-- 1517 FlattenInfo.hs
-rw-r--r-- 15671 FlattenMonad.hs
-rw-r--r-- 27348 Flattening.hs
-rw-r--r-- 5276 NDPCoreUtils.hs
-rw-r--r-- 5878 PArrAnal.hs
-rw-r--r-- 8469 TODO