BLoC/BLoCade optimizer integration

In many cases, shared-by-abstraction BLC is more performant (and notably
smaller) than the current output where every term just gets substituted
(and potentially duplicated) directly.

BLoC in combination with BLoCade's shared BLC target optimizes this
automatically by trying to find the terms that would most benefit from
deduplication and abstracting them respectively.

Paging @tromp since we talked about this.

This commit also introduces better argument parsing using
optparse-applicative.

1 files changed, 32 insertions, 2 deletions

diff --git a/app/Main.hs b/app/Main.hs
index 7d20262..721dfec 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -1,6 +1,36 @@
 module Main where
 
-import Eval
+import           Eval
+import           Helper                         ( ArgMode(..)
+                                                , Args(..)
+                                                )
+import           Options.Applicative
+
+mode :: Parser ArgMode
+mode =
+  flag' ArgEvalBblc
+        (long "eval-bblc" <> short 'e' <> help "Evaluate file with BLC bits")
+    <|> flag'
+          ArgEvalBlc
+          (long "eval-blc" <> short 'E' <> help "Evaluate file with ASCII BLC")
+    <|> flag' ArgDumpBblc
+              (long "dump-bblc" <> short 'b' <> help "Dump file as BLC bits")
+    <|> flag' ArgDumpBlc
+              (long "dump-blc" <> short 'B' <> help "Dump file as ASCII BLC")
+
+args :: Parser Args
+args =
+  Args
+    <$> (mode <|> pure ArgEval)
+    <*> switch (long "yolo" <> short 'y' <> help "Don't run tests")
+    <*> strOption
+          (long "target" <> short 't' <> metavar "TARGET" <> value "" <> help
+            "Optimize to target using BLoC and BLoCade"
+          )
+    <*> optional (argument str (metavar "PATH" <> help "Path to file"))
 
 main :: IO ()
-main = evalMain
+main = evalMain =<< execParser opts
+ where
+  opts =
+    info (args <**> helper) (fullDesc <> header "bruijn programming language")