diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-11-02 15:17:48 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-11-02 15:17:49 -0700 |
| commit | 0f17c5eb9ac4660f2f969bd1e67af42713e45eac (patch) | |
| tree | 279ca7da2de0efe2f363684f3c84a540635f11a8 /nomnom/pretty_errors.nom | |
| parent | acd9c2acd4688f2301b091daad910c04e402bd6a (diff) | |
| parent | dc41f30c73c9686685e3a4183c1213fb4ba55c90 (diff) | |
Merge branch 'master' into working
Diffstat (limited to 'nomnom/pretty_errors.nom')
| -rw-r--r-- | nomnom/pretty_errors.nom | 85 |
1 files changed, 85 insertions, 0 deletions
diff --git a/nomnom/pretty_errors.nom b/nomnom/pretty_errors.nom new file mode 100644 index 0000000..db4be5a --- /dev/null +++ b/nomnom/pretty_errors.nom @@ -0,0 +1,85 @@ +#!/usr/bin/env nomsu -V4.8.10 +# This file has code for converting errors to user-friendly format, with colors, + line numbers, code excerpts, and so on. +(visible size of %text) means: + return (size of (%text::with "\027%[[0-9;]*m" -> "")) + +(%text boxed) means: + %max_line = (max of ((visible size of %line) for %line in (%text::lines))) + %ret = (..) + "\n\%text"::with "\n([^\n]*)" -> (..) + [%] -> (..) + "\n\%\(" "::* (%max_line - (visible size of %))) \027[0m" + return %ret.[2,-1] + +%CONTEXT = 2 +externally (pretty %title error at %tree %err hint %hint) means: + %source_code = (%tree::get source code) + %start = %tree.source.start + %stop = %tree.source.stop + %filename = (%tree.source.filename or "???") + %err_line = (%source_code::line at %start) + %err_linenum = (%source_code::line number at %start) + %err_linepos = (%source_code::line position at %start) + + # TODO: better handle multi-line errors + %err_size = (min of [%stop - %start, (size of %err_line) - %err_linepos + 1]) + %nl_indicator = (" " if (%err_linepos > (size of %err_line)) else "") + %fmt_str = " %\(size of "\(%err_linenum + %CONTEXT)")d|" + (num %i) means (%fmt_str::formatted with %i) + %linenum_size = (size of (num 0)) + %pointer = "\(" "::* (%err_linepos + %linenum_size - 1))" + if (%err_size >= 2): + %pointer += "╚\("═"::* (%err_size - 2))╝" + ..else: %pointer += "⬆" + + %err_msg = "\ + ..\027[33;41;1m\(%title or "Error") at \%filename:\%err_linenum\027[0m" + for %i in (%err_linenum - %CONTEXT) to (%err_linenum - 1): + %line = (%source_code::line %i) + if %line: + %err_msg += "\n\027[2m\(num %i)\027[0m\(%line)\027[0m" + + if %err_line: + %before = %err_line.[1, %err_linepos - 1] + %during = %err_line.[%err_linepos, %err_linepos + %err_size - 1] + %after = %err_line.[%err_linepos + %err_size, -1] + %err_line = "\027[0m\(%before)\027[41;30m\%during\(%nl_indicator)\027[0m\%after" + %err_msg += "\n\027[2m\(num %err_linenum)\(%err_line)\027[0m" + + %err_linenum_end = (%source_code::line number at %stop) + %err_linepos_end = (%source_code::line position at %stop) + %err_linenum_end or= %err_linenum + if (%err_linenum_end == %err_linenum): + %err_msg += "\n\%pointer" + ..else: + for %i in (%err_linenum + 1) to %err_linenum_end: + %line = (%source_code::line %i) + if %line: + if (%i == %err_linenum_end): + %during = %line.[1, %err_linepos_end - 1] + %after = %line.[%err_linepos_end, -1] + %err_msg += "\n\027[2m\(num %i)\027[0;41;30m\(%during)\027[0m\%after" + ..else: + %err_msg += "\n\027[2m\(num %i)\027[0;41;30m\(%line)\027[0m" + + %box_width = 70 + %err_text = "\ + ..\027[47;31;1m\((" \%err"::wrapped to %box_width)::with "\n" -> "\n\027[47;31;1m ")" + if %hint: + %err_text += "\n\027[47;30m\((" Suggestion: \(%hint)"::wrapped to %box_width)::with "\n" -> "\n\027[47;30m ")" + %err_msg += "\n\027[33;1m \((%err_text boxed)::with "\n" -> "\n ")" + + %err_msg += "\n\027[33;1m \((%err_text boxed)::with "\n" -> "\n ")" + for %i in (%err_linenum_end + 1) to (%err_linenum_end + %CONTEXT): + %line = (%source_code::line %i) + if %line: + %err_msg += "\n\027[2m\(num %i)\027[0m\(%line)\027[0m" + + return %err_msg + +externally (pretty %title error at %tree %err) means (..) + pretty %title error at %tree %err (nil) + +externally (%err_tree as a pretty error) means (..) + pretty %err_tree.title error at %err_tree %err_tree.error hint %err_tree.hint |
