helium-1.8: The Helium Compiler.
Helium.Main.PhaseKindInferencer
Description
phaseKindInferencer :: ImportEnvironment -> Module -> [Option] -> Phase KindError ()Source