compileCodegenInfo :: String -> String -> IO CodegenInfo
compileCodegenInfo input output = do
  Right ci <- evalIdris idrisInit $ codegenInfoFrom [bytecodeFile] output
  return ci
  where bytecodeFile = replaceExtension input "ibc"
compileCodegenInfo :: String -> String -> IO CodegenInfo
compileCodegenInfo input output = do
  Right ci <- evalIdris idrisInit $ codegenInfoFrom [bytecodeFile] output
  return ci
  where bytecodeFile = replaceExtension input "ibc"
compileCodegenInfo input output = do
  Right ci <- evalIdris idrisInit $ codegenInfoFrom [bytecodeFile] output
  return ci
  where bytecodeFile = replaceExtension input "ibc"