mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
Remove the old interpret
function.
This commit is contained in:
parent
b4450e038e
commit
3829f4492d
@ -41,10 +41,6 @@ cost f = iter c $ fmap g f where
|
||||
c (Fixed xs) = sum xs
|
||||
g _ = 1
|
||||
|
||||
-- interpret :: Algorithm a b -> b
|
||||
-- interpret (Pure b) = b
|
||||
-- interpret (Free (Recur a b f)) = f $ Pure (Patch { old = Just (In a), new = Just (In b) })
|
||||
|
||||
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
|
||||
|
Loading…
Reference in New Issue
Block a user