From 9606716aeb04344bebb6523f5f5099ce36cb7e17 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 14 Oct 2020 18:25:37 +0200
Subject: [PATCH] Remove dead exception handlers in prologue.
---
TODO.md | 3 +++
fuzz/src/Main.ml | 9 ---------
2 files changed, 3 insertions(+), 9 deletions(-)
diff --git a/TODO.md b/TODO.md
index 93381aa..6113adf 100644
--- a/TODO.md
+++ b/TODO.md
@@ -20,6 +20,9 @@
* Write a test to verify that concurrent modification attempts are correctly
detected.
+* Spending time declaring 150 operations, only to run 5 instructions
+ afterwards, is not smart. Could we do better?
+
## For Later Releases
* Optimize `flatten_map` to linear time by using a vector to push
diff --git a/fuzz/src/Main.ml b/fuzz/src/Main.ml
index bf6af52..a7122e8 100644
--- a/fuzz/src/Main.ml
+++ b/fuzz/src/Main.ml
@@ -31,15 +31,6 @@ module Settings = struct
let () =
dprintf "module Settings = struct\n"
- (* We do not want to fail in this setup phase when we run out of data, so
- we define these modified generators. *)
-
- let interval_ i j () =
- try interval_ i j () with End_of_file -> i
-
- let bool () =
- try bool() with End_of_file -> true
-
(* Pick a nonzero chunk size at each depth. We allow different chunk sizes
at depths 0, 1, and 2, then impose a uniform chunk size, for simplicity.
Most tests are shallow anyway. *)
--
GitLab