CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

internal error message

Browse Source
This commit is contained in:
adelaett 2023-02-13 16:30:12 +01:00
parent 0262019d45
commit 214bc55aae
2 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/catala_utils/errors.ml
View File

@ -48,6 +48,12 @@ let raise_multispanned_error (spans : (string option * Pos.t) list) format =
let raise_error format =
Format.kasprintf (fun msg -> raise (StructuredError (msg, []))) format
let raise_internal_error format =
raise_error
("Internal Error, please report to \
https://github.com/CatalaLang/catala/issues: "
^^ format)
(** {1 Warning printing}*)
let format_multispanned_warning (pos : (string option * Pos.t) list) format =

1
compiler/catala_utils/errors.mli
View File

@ -34,6 +34,7 @@ val raise_multispanned_error :
(string option * Pos.t) list -> ('a, Format.formatter, unit, 'b) format4 -> 'a
val raise_error : ('a, Format.formatter, unit, 'b) format4 -> 'a
val raise_internal_error : ('a, Format.formatter, unit, 'b) format4 -> 'a
(** {1 Warning printing}*)