Add roles declarations to forbid unsafe coercions

purescript-contrib · Nov 18, 2020 · e616a86 · e616a86
1 parent 5818ebd
commit e616a86
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Effect/Aff/Bus.purs b/src/Effect/Aff/Bus.purs
@@ -31,6 +31,8 @@ data Cap
 
 data Bus (r ∷ # Type) a = Bus (AVar a) (AVar (List (AVar a)))
 
+type role Bus nominal representational
+
 type BusR = BusR' ()
 
 type BusR' r = Bus (read ∷ Cap | r)