compileMain :: Opts -> Idris ()
compileMain opts = do
    elabPrims
    _ <- loadInputs (inputs opts) Nothing
    mainProg <- elabMain
    compileInfo <- compile (Via "bash") (output opts) (Just mainProg)
    runIO $ codegenBash compileInfo
compileMain :: Opts -> Idris ()
compileMain opts = do
    elabPrims
    _ <- loadInputs (inputs opts) Nothing
    mainProg <- elabMain
    compileInfo <- compile (Via "bash") (output opts) (Just mainProg)
    runIO $ codegenBash compileInfo
compileMain opts = do
    elabPrims
    _ <- loadInputs (inputs opts) Nothing
    mainProg <- elabMain
    compileInfo <- compile (Via "bash") (output opts) (Just mainProg)
    runIO $ codegenBash compileInfo