mirror of
https://github.com/github/semantic.git
synced 2024-12-22 22:31:36 +03:00
Beautify.
This commit is contained in:
parent
0e64794172
commit
3d9727c3f4
@ -27,31 +27,31 @@ module Semantic.Task
|
|||||||
, runTaskWithOptions
|
, runTaskWithOptions
|
||||||
) where
|
) where
|
||||||
|
|
||||||
import Prologue
|
import Analysis.Decorator (decoratorWithAlgebra)
|
||||||
import Analysis.Decorator (decoratorWithAlgebra)
|
|
||||||
import qualified Assigning.Assignment as Assignment
|
import qualified Assigning.Assignment as Assignment
|
||||||
import Control.Monad.IO.Class
|
|
||||||
import Control.Parallel.Strategies
|
|
||||||
import qualified Control.Concurrent.Async as Async
|
import qualified Control.Concurrent.Async as Async
|
||||||
import Control.Monad.Free.Freer
|
import Control.Monad.Free.Freer
|
||||||
import Data.Blob
|
import Control.Monad.IO.Class
|
||||||
import Data.Bool
|
import Control.Parallel.Strategies
|
||||||
|
import Data.Blob
|
||||||
|
import Data.Bool
|
||||||
import qualified Data.ByteString as B
|
import qualified Data.ByteString as B
|
||||||
import Data.Diff
|
import Data.Diff
|
||||||
import qualified Data.Error as Error
|
import qualified Data.Error as Error
|
||||||
import Data.Language
|
import Data.Language
|
||||||
import Data.Record
|
import Data.Record
|
||||||
import qualified Data.Syntax as Syntax
|
import qualified Data.Syntax as Syntax
|
||||||
import Data.Term
|
import Data.Term
|
||||||
import Parsing.Parser
|
import Parsing.CMark
|
||||||
import Parsing.CMark
|
import Parsing.Parser
|
||||||
import Parsing.TreeSitter
|
import Parsing.TreeSitter
|
||||||
import System.Exit (die)
|
import Prologue
|
||||||
import System.IO (Handle, stderr)
|
|
||||||
import qualified Semantic.IO as IO
|
import qualified Semantic.IO as IO
|
||||||
import Semantic.Log
|
import Semantic.Log
|
||||||
import Semantic.Stat as Stat
|
import Semantic.Queue
|
||||||
import Semantic.Queue
|
import Semantic.Stat as Stat
|
||||||
|
import System.Exit (die)
|
||||||
|
import System.IO (Handle, stderr)
|
||||||
|
|
||||||
|
|
||||||
data TaskF output where
|
data TaskF output where
|
||||||
@ -205,7 +205,7 @@ runTaskWithOptions options task = do
|
|||||||
result <- go during
|
result <- go during
|
||||||
case result of
|
case result of
|
||||||
Left err -> go (handler err) >>= either (pure . Left) yield
|
Left err -> go (handler err) >>= either (pure . Left) yield
|
||||||
Right a -> yield a) . fmap Right
|
Right a -> yield a) . fmap Right
|
||||||
|
|
||||||
parBitraversable :: Bitraversable t => Strategy a -> Strategy b -> Strategy (t a b)
|
parBitraversable :: Bitraversable t => Strategy a -> Strategy b -> Strategy (t a b)
|
||||||
parBitraversable strat1 strat2 = bitraverse (rparWith strat1) (rparWith strat2)
|
parBitraversable strat1 strat2 = bitraverse (rparWith strat1) (rparWith strat2)
|
||||||
|
Loading…
Reference in New Issue
Block a user