ui.tools.error-list: better sorting and output
parent
fd5ab25a09
commit
ca1e8e0517
|
@ -309,15 +309,14 @@ M: source-file-error error.
|
|||
[
|
||||
[
|
||||
[ file>> [ % ": " % ] when* ]
|
||||
[ line#>> [ # ": " % ] when* ]
|
||||
[ summary % ] tri
|
||||
[ line#>> [ # ": " % ] when* ] bi
|
||||
] "" make
|
||||
] [
|
||||
[
|
||||
presented set
|
||||
bold font-style set
|
||||
] H{ } make-assoc
|
||||
] bi format nl
|
||||
] bi format
|
||||
] [ error>> error. ] bi ;
|
||||
|
||||
M: bad-effect summary
|
||||
|
|
|
@ -97,7 +97,8 @@ M: error-renderer column-titles
|
|||
M: error-renderer column-alignment drop { 0 1 0 0 } ;
|
||||
|
||||
: sort-errors ( seq -- seq' )
|
||||
[ [ [ file>> ] [ line#>> ] bi 2array ] compare ] sort ;
|
||||
[ [ [ asset>> ] [ line#>> ] bi 2array ] keep ] { } map>assoc
|
||||
sort-keys values ;
|
||||
|
||||
: file-matches? ( error pathname/f -- ? )
|
||||
[ file>> ] [ dup [ string>> ] when ] bi* = ;
|
||||
|
|
Loading…
Reference in New Issue