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

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