mirror of
https://github.com/github/semantic.git
synced 2024-12-27 17:05:33 +03:00
Substrings.
This commit is contained in:
parent
222aba8e46
commit
4103cfb1e2
@ -16,3 +16,6 @@ unified diff before after =
|
|||||||
f (Annotated annotations (Keyed k)) = ""
|
f (Annotated annotations (Keyed k)) = ""
|
||||||
unifiedPatch :: Patch (Term a annotation) -> String
|
unifiedPatch :: Patch (Term a annotation) -> String
|
||||||
unifiedPatch _ = ""
|
unifiedPatch _ = ""
|
||||||
|
|
||||||
|
substring :: Range -> String -> String
|
||||||
|
substring range = take (end range) . drop (start range)
|
||||||
|
Loading…
Reference in New Issue
Block a user