3import Language.Reflection
6||| Terminate the program after printing a user-specified error message.
8||| @ loc The source location to display for the error
9||| @ message The error to print
11error : {default (%runElab sourceLocation) loc : SourceLocation} ->
14error {loc = FileLoc filename (line, col) _} message =
15 let place = filename ++ " line " ++ show line ++ " column " ++ show col
16 message' = place ++ ": " ++ message in
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list