comby-tools/comby
1
1
Fork 0
mirror of https://github.com/comby-tools/comby.git synced 2024-10-26 13:19:23 +03:00
Code Issues Packages Projects Releases Wiki Activity

compute line table once per source

Browse Source
This commit is contained in:
Rijnard van Tonder 2020-04-30 16:48:03 -07:00
parent 995e786779
commit f0d89e24b3
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lib/pipeline/pipeline.ml
View File

@ -131,14 +131,20 @@ let timed_run matcher ?(omega = false) ?rewrite_template ?substitute_in_place ?r
let matches = Matcher.all ~configuration ~template ~source in
let rule = Option.value rule ~default:[Ast.True] in
let matches = apply_rule ?substitute_in_place matcher omega rule matches in
let line_lookup =
if fast_line_col_compute then
line_map source
else
Array.create ~len:1 0
in
let f offset =
if fast_line_col_compute then
let a = line_map source in
compute_line_col_fast a offset
compute_line_col_fast line_lookup offset
else
compute_line_col_slow source offset
in
List.map matches ~f:(update_match f)
let matches = List.map matches ~f:(update_match f) in
matches
type processed_source_result =