View Source TypeCheck.CompileError exception (TypeCheck v0.12.2)

Raised when during compilation of types or specifications, an irrecoverable error occurs.