diff options
| author | Alasdair Armstrong | 2018-11-19 17:14:19 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-11-19 17:18:31 +0000 |
| commit | 4b8f3092b2c9767b916535ad73e045262d60d987 (patch) | |
| tree | ca1901544f56e8ddb32e8a995edd08fd1e9481aa /src/reporting.ml | |
| parent | 3914cc33de67cab90b9d3347cfc369d73846c5ea (diff) | |
Don't re-check AST repeatedly in exp_lift_assign re-write
This was _really_ slow - about 50secs for ARM. If this changes causes
breakages we should fix them in some other way.
Also using Reporting.err_unreachable in ANF translation, and fix slice
optimization when creating slices larger than 64-bits in C translation
Diffstat (limited to 'src/reporting.ml')
| -rw-r--r-- | src/reporting.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/reporting.ml b/src/reporting.ml index 358a99a8..3f5f1627 100644 --- a/src/reporting.ml +++ b/src/reporting.ml @@ -254,7 +254,7 @@ let issues = "\n\nPlease report this as an issue on GitHub at https://github.com let dest_err = function | Err_general (l, m) -> ("Error", false, Loc l, m) | Err_unreachable (l, (file, line, _, _), m) -> - ((Printf.sprintf "Internal error: Unreachable code (at \"%s\" line %d)" file line), false, Loc l, m ^ issues) + ((Printf.sprintf "Internal error: Unreachable code (at \"%s\" line %d)\n" file line), false, Loc l, m ^ issues) | Err_todo (l, m) -> ("Todo" ^ m, false, Loc l, "") | Err_syntax (p, m) -> ("Syntax error", false, Pos p, m) | Err_syntax_locn (l, m) -> ("Syntax error", false, Loc l, m) |