From 2a34193b0c207ff4c7d832bebb415497a0516571 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 29 Apr 2021 07:51:03 +0200
Subject: [PATCH] Catch conversion failures.
---
model.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/model.ml b/model.ml
index 528ec201..5099109c 100644
--- a/model.ml
+++ b/model.ml
@@ -40,8 +40,8 @@ let nnet_delimiter = Str.regexp ","
(* Parse a single Nnet format line: split line using [nnet_delimiter] as
delimiter, and convert each string into a number by means of converter [f]. *)
let handle_nnet_line ~f line =
- List.map
- ~f:(fun s -> f (String.strip s))
+ List.filter_map
+ ~f:(fun s -> try Some (f (String.strip s)) with _ -> None)
(Str.split nnet_delimiter line)
(* Skip the header part, ie comments, of the Nnet format. *)
--
GitLab