Fix bug: Warn for all removed stable variables.

dfinity · Jul 11, 2024 · 19e5d92 · 19e5d92
1 parent 6564cda
commit 19e5d92
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/mo_frontend/stability.ml b/src/mo_frontend/stability.ml
@@ -49,7 +49,7 @@ let match_stab_sig tfs1 tfs2 : unit Diag.result =
       | tf1 :: tfs1', [] ->
         (* dropping fields is allowed, but with a warning *)
         warning_discard s tf1;
-        Some ()
+        go tfs1' []
       | tf1::tfs1', tf2::tfs2' ->
         (match Type.compare_field tf1 tf2 with
          | 0 ->

diff --git a/test/cmp/ok/neg-xyz-x.cmp.ok b/test/cmp/ok/neg-xyz-x.cmp.ok
@@ -1,4 +1,7 @@
 (unknown location): warning [M0169], stable variable y of previous type
   Int
  will be discarded. This may cause data loss. Are you sure?
+(unknown location): warning [M0169], stable variable z of previous type
+  Bool
+ will be discarded. This may cause data loss. Are you sure?
 TRUE