Merge pull request #2950 from TWal/twal_change_fatal_errors

Allow '@' on fatal errors in --warn_error
FStarLang · May 31, 2023 · 8c96e5b · 8c96e5b
2 parents a374a3e + c6d496a
commit 8c96e5b
Show file tree

Hide file tree

Showing 2 changed files with 33 additions and 11 deletions.
diff --git a/ocaml/fstar-lib/generated/FStar_Errors.ml b/ocaml/fstar-lib/generated/FStar_Errors.ml
diff --git a/src/basic/FStar.Errors.fst b/src/basic/FStar.Errors.fst
@@ -72,10 +72,14 @@ let update_flags (l:list (error_flag * string))
         raise (Invalid_warn_error_setting
                  (BU.format1 "cannot silence error %s"
                              (BU.string_of_int i)))
-      | (_, CFatal) ->
+      | (CSilent, CFatal)
+      | (CWarning, CFatal)
+      | (CError, CFatal) ->
         raise (Invalid_warn_error_setting
                  (BU.format1 "cannot change the error level of fatal error %s"
                              (BU.string_of_int i)))
+      | (CAlwaysError, CFatal) ->
+        CFatal
       | _ -> flag
    in
    let set_flag_for_range (flag, range) =