From 21156a2fcf48764762c7f2209fa850024378d83a Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 29 Jul 2016 09:15:36 +0200 Subject: Classified all warnings and added various options. Now each warning either has a name and can be turned on/off, made into an error,etc. or is a warning that always will be triggered. The message of the warnings are similar to the ones emited by gcc/clang and all fit into one line. Furthermore the diagnostics are now colored if colored output is available. Bug 18004 --- cparser/Rename.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'cparser/Rename.ml') diff --git a/cparser/Rename.ml b/cparser/Rename.ml index 664f6a28..c62c6763 100644 --- a/cparser/Rename.ml +++ b/cparser/Rename.ml @@ -94,7 +94,7 @@ let ident env id = try IdentMap.find id env.re_id with Not_found -> - Cerrors.fatal_error "Internal error: Rename: %s__%d unbound" + Cerrors.fatal_error no_loc "internal error: rename: %s__%d unbound" id.name id.stamp let rec typ env = function @@ -292,4 +292,3 @@ let program p file = globdecls (reserve_public (reserve_builtins()) file p) [] p - -- cgit