From 33df1a7c14eeb69e67c24ceacc59c1998826030c Mon Sep 17 00:00:00 2001 From: Robert Nystrom Date: Wed, 17 Jan 2024 15:48:55 -0800 Subject: [PATCH] Update spec to say that reporting warnings is not mandatory. --- specification/dartLangSpec.tex | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex index 597cef6ced..88cba66482 100644 --- a/specification/dartLangSpec.tex +++ b/specification/dartLangSpec.tex @@ -1267,8 +1267,10 @@ \section{Errors and Warnings} are situations that do not preclude execution, but which are unlikely to be intended, and likely to cause bugs or inconveniences. -A static warning must be reported by a Dart compiler -before the associated code is executed. +A Dart compiler is free to report some, all, +or none of the specified static warnings before executing the associated code. +A Dart compiler may also report additional warnings +not defined by this specification. \LMHash{}% When this specification says that a \Index{dynamic error} occurs,