git.iko.soy/Idris-dev
on fbcd643 help sign in
Idris-dev/libs/base/Debug/Error.idr
20 lines 600 B history raw
1module Debug.Error
3import Language.Reflection
4import System
6||| Terminate the program after printing a user-specified error message.
7|||
8||| @ loc The source location to display for the error
9||| @ message The error to print
10partial
11error : {default tactics {sourceLocation} loc : SourceLocation} ->
12 (message : String) ->
13 a
14error {loc = FileLoc filename (line, col) _} message =
15 believe_me . unsafePerformIO $
16 do let place = filename ++ " line " ++ show line ++ " column " ++ show col
17 let message' = place ++ ": " ++ message
18 putStrLn message'
19 exit 1