mirror of
https://github.com/github/semantic.git
synced 2025-01-04 21:47:07 +03:00
Newline at end of file
This commit is contained in:
parent
fbeb0986c2
commit
9a155c7af8
@ -57,4 +57,4 @@ instance (FreeVariables1 syntax) => FreeVariables1 (TermF syntax ann) where
|
|||||||
instance (Apply FreeVariables1 fs) => FreeVariables1 (Union fs) where
|
instance (Apply FreeVariables1 fs) => FreeVariables1 (Union fs) where
|
||||||
liftFreeVariables f = apply (Proxy :: Proxy FreeVariables1) (liftFreeVariables f)
|
liftFreeVariables f = apply (Proxy :: Proxy FreeVariables1) (liftFreeVariables f)
|
||||||
|
|
||||||
instance FreeVariables1 []
|
instance FreeVariables1 []
|
||||||
|
Loading…
Reference in New Issue
Block a user