Highlighter, tiny refactoring

parent 794ed1e1
...@@ -226,10 +226,9 @@ highlightNgrams (NgramsTable table) input = ...@@ -226,10 +226,9 @@ highlightNgrams (NgramsTable table) input =
crashWith "highlightNgrams: pattern missing from table" crashWith "highlightNgrams: pattern missing from table"
Just (NgramsElement ne) -> Just (NgramsElement ne) ->
let s1 = S.splitAt (i - i0) s in let s1 = S.splitAt (i - i0) s in
let s2 = S.splitAt lpat s1.after in
{ i0: i + lpat { i0: i + lpat
, s: s2.after , s: S.drop lpat s1.after
, l: Tuple s2.before (Just ne.list) : consNonEmpty s1.before l , l: Tuple pat (Just ne.list) : consNonEmpty s1.before l
} }
----------------------------------------------------------------------------------- -----------------------------------------------------------------------------------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment