Skip to content

Commit

Permalink
Undo more stupid formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
isovector committed Feb 28, 2021
1 parent b73cf83 commit 9c20a3a
Showing 1 changed file with 6 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -13,19 +13,19 @@ module Ide.Plugin.Tactic.LanguageServer.TacticProviders
) where

import Control.Monad
import Control.Monad.Error.Class (MonadError (throwError))
import Control.Monad.Error.Class (MonadError (throwError))
import Data.Aeson
import Data.Bool (bool)
import Data.Coerce
import qualified Data.Map as M
import qualified Data.Map as M
import Data.Maybe
import Data.Monoid
import qualified Data.Text as T
import qualified Data.Text as T
import Data.Traversable
import DataCon (dataConName)
import Development.IDE.GHC.Compat
import GHC.Generics
import GHC.LanguageExtensions.Type (Extension (LambdaCase))
import GHC.LanguageExtensions.Type (Extension (LambdaCase))
import Ide.Plugin.Tactic.Auto
import Ide.Plugin.Tactic.FeatureSet
import Ide.Plugin.Tactic.GHC
Expand All @@ -37,8 +37,8 @@ import Ide.PluginUtils
import Ide.Types
import Language.LSP.Types
import OccName
import Prelude hiding (span)
import Refinery.Tactic (goal)
import Prelude hiding (span)
import Refinery.Tactic (goal)


------------------------------------------------------------------------------
Expand Down

0 comments on commit 9c20a3a

Please sign in to comment.