Fix unpacking of record parameter

minoki · Sep 11, 2024 · b5d2e88 · b5d2e88
1 parent bbec1c5
commit b5d2e88
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/cps/unpack-record-parameter.sml b/src/cps/unpack-record-parameter.sml
@@ -809,6 +809,10 @@ in
                       #indirect
                         (CpsUsageAnalysis.getContUsage (#cont_usage ctx, name))
                       = NEVER
+                      andalso
+                      #indirect
+                        (CpsUsageAnalysis.getContUsage
+                           (#cont_rec_usage ctx, name)) = NEVER
                     then
                       let
                         val t =