precise-side-effects: Increase SomeException handling priority for :-

Allows SomeException to work with an unknown/open exception list.
queezle42 · Dec 18, 2023 · ab89a0a · ab89a0a
1 parent b64a12f
commit ab89a0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/precise-side-effects/src/Control/Exception/Ex.hs b/precise-side-effects/src/Control/Exception/Ex.hs
@@ -73,8 +73,8 @@ instance (n :< as, ns :<< as) => (n ': ns) :<< as
 type (:-) :: [Type] -> Type -> [Type]
 type family a :- b where
   '[] :- _ = '[]
-  (Ex _ ': _) :- _ = TypeError ('Text "Invalid usage of ‘Ex’ in lhs of type family ‘:-’")
   _ :- SomeException = '[]
+  (Ex _ ': _) :- _ = TypeError ('Text "Invalid usage of ‘Ex’ in lhs of type family ‘:-’")
   xs :- (Ex exceptions) = xs :-- exceptions
   (r ': xs) :- r = xs :- r
   (x ': xs) :- r = x ': (xs :- r)