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

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