Kind and type checking of indexed types
[ghc.git] / compiler / prelude /
drwxr-xr-x   ..
-rw-r--r-- 10449 ForeignCall.lhs
-rw-r--r-- 4672 PrelInfo.lhs
-rw-r--r-- 41577 PrelNames.lhs
-rw-r--r-- 16384 PrelRules.lhs
-rw-r--r-- 14505 PrimOp.lhs
-rw-r--r-- 13306 TysPrim.lhs
-rw-r--r-- 20077 TysWiredIn.lhs
-rw-r--r-- 60350 primops.txt.pp