From bfa5509d09f75f1cc3f1c7a8afff6314a1b21ced Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 10 Oct 2021 17:35:06 +0200 Subject: [PATCH] Reword the section on bug reporting. --- manual.scrbl | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/manual.scrbl b/manual.scrbl index 0028499..d7fb3c7 100644 --- a/manual.scrbl +++ b/manual.scrbl @@ -20,10 +20,9 @@ Racket yet. @section{Bug reporting} -When encountering a bug, please strip the type annotations and try the -resulting code with the generic graph library, without this interface. If you -can reproduce the bug, then you should probably report it to the maintainer of -the graph library directly. If not or if unsure, feel free to report it to me. +If you find a bug, first try running your code directly with the graph library, +in untyped Racket. If the bug persists, you should probably report it to the +maintainer of the graph library directly. If unsure, report the bug to me. @section{Contributing}