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, 3 insertions, 4 deletions

diff --git a/gnu/gnunet/mq.scm b/gnu/gnunet/mq.scm
index 540e463..24546ca 100644
--- a/gnu/gnunet/mq.scm
+++ b/gnu/gnunet/mq.scm
@@ -184,8 +184,8 @@ messages must be sent in-order (TODO really received in-order?)."
       "Call the message handler that was registered
 for the type of the message @var{mq} in the message queue var{mq}
 with the message @var{message}. In case the message is malformed
-(according to the message handler), inject a @code{&malformed-message}
-error instead (TODO).  In case no appropriate message handler exists,
+(according to the message handler), inject a @code{logic:ill-formed}
+error instead.  In case no appropriate message handler exists,
 inject a @code{logic:no-handler} error instead.
 
 It is an error for @var{message} to be so small it doesn't have
@@ -220,8 +220,7 @@ of message queues."
              (? (not handler)
                 (inject-error! mq 'logic:no-handler type))
              (? (not (verify-message? handler message))
-                ;; TODO: error handling
-                (inject-error! handler ???))) ; malformed message
+                (inject-error! mq 'logic:ill-formed type)))
             ;; TODO: maybe a good place to catch out-of-memory
             ;; and stack overflow errors ...
             (handle-message! handler message)))