We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 70f68d5 commit 51c2340Copy full SHA for 51c2340
hls-plugin-api/src/Ide/Plugin/Properties.hs
@@ -11,8 +11,6 @@
11
{-# LANGUAGE TypeFamilies #-}
12
{-# LANGUAGE TypeOperators #-}
13
{-# LANGUAGE UndecidableInstances #-}
14
--- See Note [Constraints]
15
-{-# OPTIONS_GHC -Wno-redundant-constraints #-}
16
17
module Ide.Plugin.Properties
18
( PropertyType (..),
0 commit comments