CSPM.TypeChecker.Exceptions

type Error

type Warning

infiniteUnificationMessage

unificationErrorMessage

incorrectArgumentCountMessage

constraintUnificationErrorMessage

deprecatedNameUsed

unsafeNameUsed

illegalModuleInstanceCycleErrorMessage

data ErrorOptions

defaultErrorOptions