TypeCheck
v0.10.7
Pages
Modules
Settings
View Source
TypeCheck.CompileError
exception
(TypeCheck v0.10.7)
Raised when during compilation of types or specifications, an irrecoverable error occurs.