summaryrefslogtreecommitdiff
path: root/compiler/Errors.ml
diff options
context:
space:
mode:
authorSon Ho2024-04-04 15:47:54 +0200
committerSon Ho2024-04-04 15:47:54 +0200
commit1f3ce79023d902d0145da38e878d991a6ba29236 (patch)
tree1dad0ad70d25020d2e231573ba7174954df2980c /compiler/Errors.ml
parent9e7aacc885c067af71d12c8f796f9951dd045261 (diff)
Update the way errors are reported
Diffstat (limited to '')
-rw-r--r--compiler/Errors.ml6
1 files changed, 0 insertions, 6 deletions
diff --git a/compiler/Errors.ml b/compiler/Errors.ml
index 7dfe659a..30887593 100644
--- a/compiler/Errors.ml
+++ b/compiler/Errors.ml
@@ -20,12 +20,6 @@ let format_error_message_with_file_line (file : string) (line : int)
"In file " ^ file ^ ", line " ^ string_of_int line ^ ":\n"
^ format_error_message meta msg
-let error_list_to_string (error_list : (Meta.meta option * string) list) :
- string =
- List.fold_left
- (fun errors (meta, msg) -> errors ^ "\n" ^ format_error_message meta msg)
- "" error_list
-
exception CFailure of (Meta.meta option * string)
let error_list : (Meta.meta option * string) list ref = ref []