Point to error message file non-default errors

rems-project · Jun 29, 2023 · 8a6b4a5 · 8a6b4a5
1 parent 7b2d0a6
commit 8a6b4a5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/backend/cn/parse.ml b/backend/cn/parse.ml
@@ -66,9 +66,10 @@ let parse parser_start (loc, string) =
     | C_parser.Error state ->
        let message =
          try
-           C_parser_error.message state
+           let msg = C_parser_error.message state in
+           if String.equal msg "<YOUR SYNTAX ERROR MESSAGE HERE>\n" then raise Not_found else msg
          with Not_found ->
-           Printf.sprintf "Unknown syntax error (in state %d).\n" state
+           Printf.sprintf "Please add error message for state %d to parsers/c/c_parser_error.messages\n" state
        in
        let message = String.sub message 0 (String.length message - 1) in
        (* the two tokens between which the error occurred *)

diff --git a/parsers/c/c_parser_driver.ml b/parsers/c/c_parser_driver.ml
@@ -85,9 +85,10 @@ let parse lexbuf =
     let lexbuf = ! most_recent_lexbuf in
     let message =
       try
-        C_parser_error.message state
+        let msg = C_parser_error.message state in
+        if String.equal msg "<YOUR SYNTAX ERROR MESSAGE HERE>\n" then raise Not_found else msg
       with Not_found ->
-        Printf.sprintf "Unknown syntax error (in state %d).\n" state
+        Printf.sprintf "Please add error message for state %d to parsers/c/c_parser_error.messages\n" state
     in
     let message = String.sub message 0 (String.length message - 1) in
     let tok = Lexing.lexeme lexbuf in