balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove redundant \n in error messages.

Browse Source
This commit is contained in:
Christian Rinderknecht 2020-03-24 18:43:15 +01:00
parent 2a1167428f
commit 8ce6d00d06
1 changed files with 24 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
vendors/Preproc/Preproc.mll vendored
View File

@ -118,63 +118,63 @@ module Error =
let to_string = function let to_string = function
Invalid_directive name -> Invalid_directive name ->
sprintf "Invalid directive \"%s\".\n" name sprintf "Invalid directive \"%s\"." name
| Directive_inside_line -> | Directive_inside_line ->
sprintf "Directive inside a line.\n" sprintf "Directive inside a line."
| Missing_endif -> | Missing_endif ->
sprintf "Missing #endif directive.\n" sprintf "Missing #endif directive."
| Invalid_line_indicator id -> | Invalid_line_indicator id ->
sprintf "Invalid line indicator \"%s\".\n\ sprintf "Invalid line indicator \"%s\".\n\
Hint: Try \"default\" or \"hidden\".\n" id Hint: Try \"default\" or \"hidden\"." id
| No_line_indicator -> | No_line_indicator ->
sprintf "Missing line indicator.\n" sprintf "Missing line indicator."
| End_line_indicator -> | End_line_indicator ->
sprintf "Invalid ending of numerical line indicator.\n\ sprintf "Invalid ending of numerical line indicator.\n\
Hint: Try a string, end of line, or a line comment.\n" Hint: Try a string, end of line, or a line comment."
| Newline_in_string -> | Newline_in_string ->
sprintf "Invalid newline character in string.\n" sprintf "Invalid newline character in string."
| Open_comment -> | Open_comment ->
sprintf "Unterminated comment.\n" sprintf "Unterminated comment."
| Open_string -> | Open_string ->
sprintf "Unterminated string.\n\ sprintf "Unterminated string.\n\
Hint: Close with double quotes.\n" Hint: Close with double quotes."
| Dangling_endif -> | Dangling_endif ->
sprintf "Dangling #endif directive.\n\ sprintf "Dangling #endif directive.\n\
Hint: Remove it or add a #if before.\n" Hint: Remove it or add a #if before."
| Open_region_in_conditional -> | Open_region_in_conditional ->
sprintf "Unterminated of #region in conditional.\n\ sprintf "Unterminated of #region in conditional.\n\
Hint: Close with #endregion before #endif.\n" Hint: Close with #endregion before #endif."
| Dangling_endregion -> | Dangling_endregion ->
sprintf "Dangling #endregion directive.\n\ sprintf "Dangling #endregion directive.\n\
Hint: Remove it or use #region before.\n" Hint: Remove it or use #region before."
| Conditional_in_region -> | Conditional_in_region ->
sprintf "Conditional in region.\n\ sprintf "Conditional in region.\n\
Hint: Remove the conditional or the region.\n" Hint: Remove the conditional or the region."
| If_follows_elif -> | If_follows_elif ->
sprintf "Directive #if found in a clause #elif.\n" sprintf "Directive #if found in a clause #elif."
| Else_follows_else -> | Else_follows_else ->
sprintf "Directive #else found in a clause #else.\n" sprintf "Directive #else found in a clause #else."
| Dangling_else -> | Dangling_else ->
sprintf "Directive #else without #if.\n" sprintf "Directive #else without #if."
| Elif_follows_else -> | Elif_follows_else ->
sprintf "Directive #elif found in a clause #else.\n" sprintf "Directive #elif found in a clause #else."
| Dangling_elif -> | Dangling_elif ->
sprintf "Dangling #elif directive.\n\ sprintf "Dangling #elif directive.\n\
Hint: Remove it or add a #if before.\n" Hint: Remove it or add a #if before."
| Reserved_symbol sym -> | Reserved_symbol sym ->
sprintf "Reserved symbol \"%s\".\n\ sprintf "Reserved symbol \"%s\".\n\
Hint: Use another symbol.\n" sym Hint: Use another symbol." sym
| Multiply_defined_symbol sym -> | Multiply_defined_symbol sym ->
sprintf "Multiply-defined symbol \"%s\".\n\ sprintf "Multiply-defined symbol \"%s\".\n\
Hint: Change the name or remove one definition.\n" sym Hint: Change the name or remove one definition." sym
| Error_directive msg -> | Error_directive msg ->
msg ^ "\n" msg
| Parse_error -> | Parse_error ->
"Parse error in expression.\n" "Parse error in expression."
| No_line_comment_or_blank -> | No_line_comment_or_blank ->
"Line comment or whitespace expected.\n" "Line comment or whitespace expected."
| Invalid_symbol -> | Invalid_symbol ->
"Expected a symbol (identifier).\n" "Expected a symbol (identifier)."
let format ?(offsets=true) Region.{region; value} ~file = let format ?(offsets=true) Region.{region; value} ~file =
let msg = to_string value let msg = to_string value