MkIface

mkUsedNames

mkDependencies

mkIface

mkIfaceTc

writeIfaceFile

checkOldIface

data RecompileRequired

recompileRequired

tyThingToIfaceDecl