Merge pull request #1954 from actonlang/1953-weaken-seal-check

Weakened the leaking seal check
actonlang · Oct 15, 2024 · 345ba41 · 345ba41
2 parents 2772754 + c10efd4
commit 345ba41
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/compiler/Acton/Solver.hs b/compiler/Acton/Solver.hs
@@ -490,7 +490,8 @@ reduce' env eq (Seal info t@(TCon _ tc))
 --  | castable env t tObject                  = tyerr t "Leaking actor seal:"                       -- when we start prohibit sharing of mutable data
   | otherwise                               = reduce env eq (map (Seal info) $ tcargs tc)
 reduce' env eq (Seal _ t@(TFX _ fx))
-  | fx `elem` [FXMut,FXProc]                = tyerr t "Leaking actor seal:"
+--  | fx `elem` [FXMut,FXProc]                = tyerr t "Leaking actor seal:"
+  | fx `elem` [FXProc]                      = tyerr t "Leaking actor seal:"
   | otherwise                               = return eq
 reduce' env eq (Seal info t)                = reduce env eq (map (Seal info) ts)
   where ts                                  = leaves t