compiler-plugin / arrow.meta.plugins.proofs.phases.resolve.diagnostics

Package arrow.meta.plugins.proofs.phases.resolve.diagnostics

Functions

suppressConstantExpectedTypeMismatch fun CompilerContext.suppressConstantExpectedTypeMismatch(diagnostic: Diagnostic): Boolean
suppressProvenTypeMismatch fun CompilerContext.suppressProvenTypeMismatch(diagnostic: Diagnostic): Boolean
suppressTypeInferenceExpectedTypeMismatch fun CompilerContext.suppressTypeInferenceExpectedTypeMismatch(diagnostic: Diagnostic): Boolean

Do you like Arrow?

Arrow Org
<