IdrisDoc: Debug.Error

Debug.Error

error : {default (%runElab sourceLocation) loc : SourceLocation} -> (message : String) -> a

Terminate the program after printing a user-specified error message.

loc

The source location to display for the error

message

The error to print