helium-1.8: The Helium Compiler.
Helium.StaticAnalysis.Inferencers.ExpressionTypeInferencer
Description
expressionTypeInferencer :: ImportEnvironment -> Expression -> (TpScheme, Assumptions, TypeErrors)Source