From 65a094a4ee67f16ff5ed7663c2b3dd6d85c19c00 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Fri, 15 Mar 2024 17:24:22 +0100 Subject: Initial working optimization stage --- app/Main.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'app/Main.hs') diff --git a/app/Main.hs b/app/Main.hs index 8731b7c..47d1bd2 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -24,6 +24,10 @@ args = <$> (mode <|> pure ArgEval) <*> switch (long "yolo" <> short 'y' <> help "Don't run tests") <*> switch (long "verbose" <> short 'v' <> help "Increase verbosity") + <*> switch + (long "optimize" <> short 'O' <> help + "Optimize program (abstraction of duplicated terms)" + ) <*> strOption (long "target" <> short 't' <> metavar "TARGET" <> value "" <> help "Compile to target using BLoC and BLoCade" -- cgit v1.2.3