[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#27654] [PATCH] base: Report evaluation error.

From: Mathieu Othacehe
Subject: [bug#27654] [PATCH] base: Report evaluation error.
Date: Tue, 11 Jul 2017 19:16:15 +0200

* src/cuirass/base.scm (evaluate): Report an error in eof-object? is true on
  data read from port. Otherwise, suppose that data are correct and keep thins
 src/cuirass/base.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm
index f5f80b3..5e0cb0d 100644
--- a/src/cuirass/base.scm
+++ b/src/cuirass/base.scm
@@ -136,7 +136,13 @@ directory and the sha1 of the top level commit in this 
                            (object->string spec)
-         (jobs (read port)))
+         (jobs (match (read port)
+                 ;; If an error occured during evaluation report it,
+                 ;; otherwise, suppose that data read from port are
+                 ;; correct and keep things going.
+                 ((? eof-object?)
+                  (error "Could not evaluate specifications.\n"))
+                 (data data))))
     (close-pipe port)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]