github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity

Need this for some reason

Browse Source
This commit is contained in:
Timothy Clem 2017-11-22 10:17:17 -08:00
parent 87145308cd
commit 0ffb83d22b
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Abstract/FreeVariables.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE DefaultSignatures, UndecidableInstances #-}
{-# LANGUAGE DefaultSignatures, UndecidableInstances, MonoLocalBinds #-}
module Abstract.FreeVariables where
import Abstract.Set
@ -21,5 +21,7 @@ class FreeVariables term where
instance (FreeVariables1 (TermF syntax ann), Functor syntax) => FreeVariables (Term syntax ann) where
freeVariables = cata (liftFreeVariables id)
instance (Foldable syntax) => FreeVariables1 (TermF syntax ann)
instance (Apply FreeVariables1 fs) => FreeVariables1 (Union fs) where
liftFreeVariables f = apply (Proxy :: Proxy FreeVariables1) (liftFreeVariables f)