github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 21:16:12 +03:00
Code Issues Projects Releases Wiki Activity

🔥 the RangedWhatever things.

Browse Source
This commit is contained in:
Rob Rix 2015-11-18 11:50:30 -08:00
parent e01c6325a3
commit e74340d4cf
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Diff.hs
View File

@ -23,9 +23,3 @@ cost f = iter c $ fmap g f where
c (Indexed xs) = sum xs
c (Fixed xs) = sum xs
g _ = 1
type RangedTerm a = Cofree (Syntax a) Int
-- data Difff a f = Difff (Either (Patch (Term a)) (Syntax a f))
-- type RangedDiff a = Cofree (Difff a) Range
data AnnotatedSyntax a f = AnnotatedSyntax (Range, Syntax a f)
type RangedDiff a = Free (AnnotatedSyntax a) (Patch (Term a Info))