mirror of
https://github.com/github/semantic.git
synced 2024-12-23 06:41:45 +03:00
🔥 a redundant Functor constraint.
This commit is contained in:
parent
cfd583cd51
commit
a358be60cc
@ -102,7 +102,7 @@ instance Listable1 f => Listable2 (TermF f) where
|
||||
instance (Listable1 f, Listable a) => Listable1 (TermF f a) where
|
||||
liftTiers = liftTiers2 tiers
|
||||
|
||||
instance (Functor f, Listable1 f) => Listable1 (Term f) where
|
||||
instance Listable1 f => Listable1 (Term f) where
|
||||
liftTiers annotationTiers = go
|
||||
where go = liftCons1 (liftTiers2 annotationTiers go) Term
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user