mirror of
https://github.com/github/semantic.git
synced 2024-12-26 00:12:29 +03:00
Revert "Add a function to extract the annotation from a SplitDiff."
This reverts commit 9d5e3ae50ea40760cbb662be9278e8fce05d0298.
This commit is contained in:
parent
36190c5f57
commit
ab8f9045fa
@ -1,7 +1,6 @@
|
|||||||
module SplitDiff where
|
module SplitDiff where
|
||||||
|
|
||||||
import Control.Monad.Free (Free(..))
|
import Control.Monad.Free (Free(..))
|
||||||
import Data.Copointed (copoint)
|
|
||||||
import Diff (Annotated(..))
|
import Diff (Annotated(..))
|
||||||
import Term (Term)
|
import Term (Term)
|
||||||
|
|
||||||
@ -17,8 +16,3 @@ getSplitTerm (SplitReplace a) = a
|
|||||||
|
|
||||||
-- | A diff with only one side’s annotations.
|
-- | A diff with only one side’s annotations.
|
||||||
type SplitDiff leaf annotation = Free (Annotated leaf annotation) (SplitPatch (Term leaf annotation))
|
type SplitDiff leaf annotation = Free (Annotated leaf annotation) (SplitPatch (Term leaf annotation))
|
||||||
|
|
||||||
-- | Get the Info from a split diff
|
|
||||||
getSplitAnnotation :: SplitDiff leaf annotation -> annotation
|
|
||||||
getSplitAnnotation (Pure patch) = copoint (getSplitTerm patch)
|
|
||||||
getSplitAnnotation (Free annotated) = annotation annotated
|
|
||||||
|
Loading…
Reference in New Issue
Block a user