mirror of
https://github.com/github/semantic.git
synced 2024-12-27 08:54:14 +03:00
Merge branch 'surface-patch-types-in-split-diffs' into ruby
This commit is contained in:
commit
bb432b9a9e
@ -90,6 +90,7 @@ split diff (beforeBlob, afterBlob) = renderHtml
|
||||
|
||||
-- | A patch to only one side of a diff.
|
||||
data SplitPatch a = SplitInsert a | SplitDelete a | SplitReplace a
|
||||
deriving (Show, Eq)
|
||||
|
||||
-- | A diff with only one side’s annotations.
|
||||
type SplitDiff leaf annotation = Free (Annotated leaf annotation) (SplitPatch (Term leaf annotation))
|
||||
|
Loading…
Reference in New Issue
Block a user