module DDC.Driver.Command.Tetra.Curry
(cmdTetraCurry)
where
import DDC.Driver.Stage
import DDC.Driver.Config
import DDC.Driver.Dump
import DDC.Driver.Interface.Source
import DDC.Build.Pipeline
import Control.Monad.Trans.Except
import Control.Monad.IO.Class
import System.FilePath
import qualified DDC.Core.Check as C
import qualified DDC.Base.Pretty as P
import qualified DDC.Build.Language.Tetra as Tetra
cmdTetraCurry
:: Config
-> Source
-> String
-> ExceptT String IO ()
cmdTetraCurry config source sourceText
| SourceFile filePath <- source
, ext <- takeExtension filePath
, ext /= ".dct"
= throwE $ "The Curry transform only works for Core Tetra (.dct) modules."
| otherwise
= let pmode = prettyModeOfConfig $ configPretty config
pipeCurry
= pipeText (nameOfSource source)
(lineStartOfSource source) sourceText
$ PipeTextLoadCore Tetra.fragment C.Recon SinkDiscard
[ PipeCoreAsTetra
[ PipeTetraCurry
[ PipeCoreOutput pmode (dump config source "dump.tetra-curry.dct")
, PipeCoreCheck Tetra.fragment C.Recon SinkDiscard
[ PipeCoreOutput pmode SinkStdout ]]]]
in do
errs <- liftIO pipeCurry
case errs of
[] -> return ()
es -> throwE $ P.renderIndent $ P.vcat $ map P.ppr es