From 4ba26ca7d33c2804b43a795eb3287651a000b2db Mon Sep 17 00:00:00 2001 From: Mihai Nita Date: Thu, 16 May 2024 13:00:11 -0700 Subject: [PATCH] Fix #782: give implementations more flexibility in error handling --- spec/errors.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/spec/errors.md b/spec/errors.md index 1fa78c8a2..8f1184d26 100644 --- a/spec/errors.md +++ b/spec/errors.md @@ -24,9 +24,10 @@ or _Message Function Errors_ in _expressions_ that are not otherwise used by the such as _placeholders_ in unselected _patterns_ or _declarations_ that are never referenced during _formatting_. -In all cases, when encountering a runtime error, -a message formatter MUST provide some representation of the message. -An informative error or errors MUST also be separately provided. +In all cases, when encountering an error during formatting, +a message formatter MUST provide some representation of the message, +or MUST provide an informative error or errors. +An implementation MAY provide both. When a message contains more than one error, or contains some error which leads to further errors,