Use id index as character

Author: johnlees

R/read_csv.R

@@ -127,10 +127,10 @@ read_cmdstan_csv <- function(files,
     if (is.null(metadata)) {
       metadata <- read_csv_metadata(output_file)
       if (!is.null(metadata$inv_metric)) {
-        inv_metric[[metadata$id]] <- metadata$inv_metric
+        inv_metric[[as.character(metadata$id)]] <- metadata$inv_metric
       }
       if (!is.null(metadata$step_size_adaptation)) {
-        step_size[[metadata$id]] <- metadata$step_size_adaptation
+        step_size[[as.character(metadata$id)]] <- metadata$step_size_adaptation
       }
       id <- metadata$id
     } else {
@@ -148,10 +148,10 @@ read_cmdstan_csv <- function(files,
       metadata$fitted_params <- c(metadata$fitted_params, csv_file_info$fitted_params)
 
       if (!is.null(csv_file_info$inv_metric)) {
-        inv_metric[[csv_file_info$id]] <- csv_file_info$inv_metric
+        inv_metric[[as.character(csv_file_info$id)]] <- csv_file_info$inv_metric
       }
       if (!is.null(csv_file_info$step_size_adaptation)) {
-        step_size[[csv_file_info$id]] <- csv_file_info$step_size_adaptation
+        step_size[[as.character(csv_file_info$id)]] <- csv_file_info$step_size_adaptation
       }
       id <- csv_file_info$id
     }