Skip to content

Commit fd05577

Browse files
committed
clean up
1 parent 18a8367 commit fd05577

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

hls-plugin-api/src/Ide/Plugin/Properties.hs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -152,10 +152,7 @@ type family NotElem (s :: Symbol) (r :: [PropertyKey]) :: Constraint where
152152
type HasProperty s k t r = (k ~ 'PropertyKey s t, Elem s r, FindByKeyName s r ~ t, KnownSymbol s, FindPropertyMeta s r t)
153153
class FindPropertyMeta (s :: Symbol) (r :: [PropertyKey]) t where
154154
findSomePropertyKeyWithMetaData :: KeyNameProxy s -> Properties r -> (SPropertyKey ('PropertyKey s t), MetaData t)
155-
instance
156-
(FindPropertyMetaIf (IsPropertySymbol symbol k) symbol k ks t) =>
157-
FindPropertyMeta symbol (k : ks) t
158-
where
155+
instance (FindPropertyMetaIf (IsPropertySymbol symbol k) symbol k ks t) => FindPropertyMeta symbol (k : ks) t where
159156
findSomePropertyKeyWithMetaData = findSomePropertyKeyWithMetaDataIf
160157
class (bool ~ IsPropertySymbol symbol k) => FindPropertyMetaIf bool symbol k ks t where
161158
findSomePropertyKeyWithMetaDataIf :: KeyNameProxy symbol -> Properties (k : ks) -> (SPropertyKey ('PropertyKey symbol t), MetaData t)

0 commit comments

Comments
 (0)