compileToBytecode :: [FilePath] -> IO ()
compileToBytecode files = traceProcess "idris" (options ++ files)
  where options = ["--typeintype", "--check", "--quiet", "-p", "cil", "-p", "contrib"]
compileToBytecode :: [FilePath] -> IO ()
compileToBytecode files = traceProcess "idris" (options ++ files)
  where options = ["--typeintype", "--check", "--quiet", "-p", "cil", "-p", "contrib"]
compileToBytecode files = traceProcess "idris" (options ++ files)
  where options = ["--typeintype", "--check", "--quiet", "-p", "cil", "-p", "contrib"]