codegenInfoFrom :: [FilePath] -> FilePath -> Idris CodegenInfo
codegenInfoFrom inputs output = do
  elabPrims
  _ <- loadInputs inputs Nothing
  mainProg <- elabMain
  compile (Via "cil") output (Just mainProg)
codegenInfoFrom :: [FilePath] -> FilePath -> Idris CodegenInfo
codegenInfoFrom inputs output = do
  elabPrims
  _ <- loadInputs inputs Nothing
  mainProg <- elabMain
  compile (Via "cil") output (Just mainProg)
codegenInfoFrom inputs output = do
  elabPrims
  _ <- loadInputs inputs Nothing
  mainProg <- elabMain
  compile (Via "cil") output (Just mainProg)