module DDC.Driver.Command.Flow.Melt
(cmdFlowMelt)
where
import DDC.Driver.Interface.Source
import DDC.Driver.Stage
import DDC.Driver.Config
import DDC.Build.Pipeline
import DDC.Build.Language.Flow
import Control.Monad.Trans.Except
import Control.Monad.IO.Class
import qualified DDC.Core.Check as C
import qualified DDC.Base.Pretty as P
cmdFlowMelt
:: Config
-> Source
-> String
-> ExceptT String IO ()
cmdFlowMelt config source sourceText
= let pmode = prettyModeOfConfig $ configPretty config
pipeMelt
= pipeText (nameOfSource source)
(lineStartOfSource source)
sourceText
$ stageFlowLoad config source
[ PipeCoreCheck fragment C.Recon SinkDiscard
[ PipeCoreAsFlow
[ PipeFlowMelt
[ PipeCoreCheck fragment C.Recon SinkDiscard
[ PipeCoreOutput pmode SinkStdout ]]]]]
in do
errs <- liftIO pipeMelt
case errs of
[] -> return ()
es -> throwE $ P.renderIndent $ P.vcat $ map P.ppr es