run :: Opts -> Idris ()
run opts = do
    elabPrims
    loadInputs (inputs opts) Nothing
    mainProg <- elabMain
    ir <- compile (Via IBCFormat "clean") (output opts) (Just mainProg)
    runIO $ codegenClean ir
run :: Opts -> Idris ()
run opts = do
    elabPrims
    loadInputs (inputs opts) Nothing
    mainProg <- elabMain
    ir <- compile (Via IBCFormat "clean") (output opts) (Just mainProg)
    runIO $ codegenClean ir
run opts = do
    elabPrims
    loadInputs (inputs opts) Nothing
    mainProg <- elabMain
    ir <- compile (Via IBCFormat "clean") (output opts) (Just mainProg)
    runIO $ codegenClean ir