1
1
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
This commit is contained in:
Rob Rix 2017-12-20 17:15:10 -05:00
parent 7c72f52a14
commit d156b2d1d1

View File

@ -29,6 +29,7 @@ class FreeVariables1 syntax where
freeVariables1 :: (FreeVariables1 t, FreeVariables a) => t a -> Set Name freeVariables1 :: (FreeVariables1 t, FreeVariables a) => t a -> Set Name
freeVariables1 = liftFreeVariables freeVariables freeVariables1 = liftFreeVariables freeVariables
instance (FreeVariables1 syntax, Functor syntax) => FreeVariables (Term syntax ann) where instance (FreeVariables1 syntax, Functor syntax) => FreeVariables (Term syntax ann) where
freeVariables = cata (liftFreeVariables id) freeVariables = cata (liftFreeVariables id)