diff options
| author | Marvin Borner | 2024-03-15 17:24:22 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-15 17:24:22 +0100 |
| commit | 65a094a4ee67f16ff5ed7663c2b3dd6d85c19c00 (patch) | |
| tree | a714254a4028a05dbac8f716e95bb5a9df5af6ca /app/Main.hs | |
| parent | 0b77800262b5c46d994e6cb6159f773de8a05c51 (diff) | |
Initial working optimization stage
Diffstat (limited to 'app/Main.hs')
| -rw-r--r-- | app/Main.hs | 4 |
1 files changed, 4 insertions, 0 deletions
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" |