Description: fix spelling error
Author: Bo YU <tsu.yubo@gmail.com>
Applied-Upstream: https://github.com/rems-project/sail/pull/1405
Last-Update: 2025-07-26
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/src/lib/initial_check.ml
+++ b/src/lib/initial_check.ml
@@ -1693,7 +1693,7 @@
         | Some previous ->
             raise
               (Reporting.err_general
-                 (Hint ("previous occurence here", previous, l))
+                 (Hint ("previous occurrence here", previous, l))
                  (Printf.sprintf "Enumeration member '%s' occurs twice in enum declaration" (string_of_id id))
               )
         | None -> Bindings.add id (id_loc id) seen
--- a/src/lib/type_check.ml
+++ b/src/lib/type_check.ml
@@ -3481,7 +3481,7 @@
       let sum_bitvector_lengths acc (Typ_aux (v_typ_aux, _)) =
         match v_typ_aux with
         | Typ_app (id, [A_aux (A_nexp len, _)]) when Id.compare id (mk_id "bitvector") = 0 -> nsum acc len
-        | _ -> typ_error l "Bitvector concatentation l-expression must only contain bitvector types of the same order"
+        | _ -> typ_error l "Bitvector concatenation l-expression must only contain bitvector types of the same order"
       in
       let inferred_v_lexp = infer_lexp env v_lexp in
       let inferred_v_lexps = List.map (infer_lexp env) v_lexps in
--- a/test/typecheck/fail/duplicate_enum_member.expect
+++ b/test/typecheck/fail/duplicate_enum_member.expect
@@ -1,7 +1,7 @@
 Error:
 fail/duplicate_enum_member.sail:3.2-5:
 3 |  Bar, Bar
-  |  ^-^ previous occurence here
+  |  ^-^ previous occurrence here
 fail/duplicate_enum_member.sail:3.7-10:
 3 |  Bar, Bar
   |       ^-^