1
1
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00

Extra imports.

This commit is contained in:
Patrick Thomson 2019-12-13 15:10:25 -05:00
parent 2d4268ea08
commit cd011cdd70
3 changed files with 3 additions and 7 deletions

View File

@ -4,7 +4,6 @@ module Data.Abstract.Address.Precise
) where
import Control.Abstract
import Control.Abstract.ScopeGraph (AllocatorC (..))
import Control.Algebra
import qualified Data.Set as Set
import Prologue

View File

@ -1,4 +1,6 @@
{-# LANGUAGE FlexibleContexts, FlexibleInstances, GADTs, GeneralizedNewtypeDeriving, KindSignatures, MultiParamTypeClasses, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TypeOperators, UndecidableInstances #-}
{-# LANGUAGE FlexibleContexts, FlexibleInstances, GADTs, GeneralizedNewtypeDeriving, KindSignatures,
MultiParamTypeClasses, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TypeOperators,
UndecidableInstances #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Semantic.Task
( TaskC
@ -84,8 +86,6 @@ serialize format input = do
formatStyle <- asks (Flag.choose IsTerminal Plain Colourful . configIsTerminal)
pure (runSerialize formatStyle format input)
deriving instance MonadFail m => MonadFail (CatchC m)
data TaskSession
= TaskSession
{ config :: Config

View File

@ -12,8 +12,6 @@ module Semantic.Util
import Prelude hiding (readFile)
import Control.Abstract
import Control.Abstract.Heap (runHeapError)
import Control.Abstract.ScopeGraph (runScopeError)
import Control.Carrier.Fresh.Strict
import Control.Carrier.Parse.Simple
import Control.Carrier.Lift
@ -21,7 +19,6 @@ import Control.Carrier.Trace.Printing
import Control.Carrier.Reader
import Control.Carrier.Resumable.Either (SomeError (..))
import Control.Carrier.State.Strict
import Control.Exception (displayException)
import Control.Lens.Getter
import Data.Abstract.Address.Precise as Precise
import Data.Abstract.Evaluatable