diff options
Diffstat (limited to 'src/grt/grt-errors.adb')
-rw-r--r-- | src/grt/grt-errors.adb | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/grt/grt-errors.adb b/src/grt/grt-errors.adb index e9e2f54ad..51a50418c 100644 --- a/src/grt/grt-errors.adb +++ b/src/grt/grt-errors.adb @@ -254,6 +254,20 @@ package body Grt.Errors is Fatal_Error; end Error; + procedure Error (Str : String; + Filename : Ghdl_C_String; + Line : Ghdl_I32) is + begin + Error_H; + Put_Err (Str); + Put_Err (" at "); + Put_Err (Filename); + Put_Err (" line "); + Put_I32 (Error_Stream, Line); + Newline_Err; + Fatal_Error; + end Error; + procedure Info (Str : String) is begin Put_Err (Progname); |