mq: Inject errors when message verification has negative result.

* README.org (List of errors): Document logic:ill-formed.
* doc/scheme-gnunet.tm (logic:ill-formed): New explanation.
* gnu/gnunet/mq.scm (inject-message!): Document logic:ill-formed
  error. Inject that error when the verificator returns falsehood.
* tests/mq.scm ("ill-formed message error"): New test.

1 files changed, 25 insertions, 1 deletions

diff --git a/tests/mq.scm b/tests/mq.scm
index 3485022..c4763c9 100644
--- a/tests/mq.scm
+++ b/tests/mq.scm
@@ -631,7 +631,31 @@ with @code{x}."
          (! mq (make-message-queue no-handlers error-handler #f)))
         (inject-message! mq slice)
         errored?))
-;; TODO: what if the message is (otherwise) malformed?
+
+(test-assert "ill-formed message error"
+  (let^ ((! errored? #f)
+         (! slice (bv-slice/read-write #vu8(0 4 0 0)))
+         (! handlers
+            (message-handlers
+             (message-handler
+              (type 0)
+              ((interpose code) code)
+              ((well-formed? s)
+               (assert (eq? s slice))
+               #f)
+              ((handle! slice)
+               (error "unreachable")))))
+         (! (error-handler . e)
+            (match e
+              ;; Note: it theoretically may have some unspecified rest
+              ;; rest arguments.  In ‘real code’, use
+              ;; (logic:ill-formed 0 . rest) instead.
+              ('(logic:ill-formed 0)
+               (assert (not errored?))
+               (set! errored? #t))))
+         (! mq (make-message-queue handlers error-handler #f)))
+        (inject-message! mq slice)
+        errored?))