mirror of
https://github.com/github/semantic.git
synced 2024-12-23 14:54:16 +03:00
Add FreeVariables1 instance for []
This commit is contained in:
parent
73990f6c0b
commit
11ca296fc0
@ -26,3 +26,5 @@ instance (FreeVariables1 syntax) => FreeVariables1 (TermF syntax ann) where
|
||||
|
||||
instance (Apply FreeVariables1 fs) => FreeVariables1 (Union fs) where
|
||||
liftFreeVariables f = apply (Proxy :: Proxy FreeVariables1) (liftFreeVariables f)
|
||||
|
||||
instance FreeVariables1 []
|
||||
|
Loading…
Reference in New Issue
Block a user