Commit c58c57d5 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

Remove dead code

parent ae3c2dda
......@@ -56,7 +56,6 @@ data SubCommand
= HelpCommand (Maybe HelpCommand)
| RefineCommand RefineOptions
| MinimizeCommand MinimizeOptions
| PrettyPrintCommand PrettyPrintOptions
| GraphCommand GraphOptions
| DebugCommand DebugCommand
......@@ -265,28 +264,6 @@ minimizeOptions = do
)
pure MinimizeOptions { .. }
data PrettyPrintOptions = PrettyPrintOptions
{ prettyPrintInputFile :: Maybe FilePath
}
prettyPrintHelp :: Doc AnsiStyle
prettyPrintHelp = reflow "This directly prints an input coalgebra after parsing."
prettyPrintOptions :: Parser PrettyPrintOptions
prettyPrintOptions = do
prettyPrintInputFile <- optional
(argument
str
( metavar "INPUT_FILE"
<> help
"Name of file to read the input coalgebra from or \"-\" for standard input. \
\See the \"help\" command for a description of available syntax."
<> value "-"
<> showDefault
)
)
pure PrettyPrintOptions { .. }
data GraphOptions = GraphOptions
{ graphInputFile :: Maybe FilePath
, graphOutputFile :: Maybe FilePath
......@@ -595,19 +572,6 @@ main = do
T.putStrLn ""
LT.putStrLn $ Build.toLazyText $ printEncoding encoding' symbolTable' (sortTable f)
(PrettyPrintCommand r) -> do
(_, (_symbolTable, _encoding)) <- do
let parserConfig = P.Config
{ functorTransforms = P.DontApplyTransformations
, sanityChecks = P.DisableSanityChecks
, functor = Nothing
}
readCoalgebra parserConfig (prettyPrintInputFile r)
>>= \case
Left err -> hPutStrLn stderr err >> exitFailure
Right res -> evaluate res
hPutStrLn stderr "tesetste"
(GraphCommand r) -> do
(_, (symbolTable, encoding)) <- do
let transPolicy = if graphApplyTransformations r
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment