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

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