We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f7f71dc commit 1226a5aCopy full SHA for 1226a5a
libs/wire-api/src/Wire/API/Error.hs
@@ -188,7 +188,8 @@ instance
188
189
type family DeclaredErrorEffects api :: EffectRow where
190
DeclaredErrorEffects (CanThrow e :> api) = (ErrorEffect e ': DeclaredErrorEffects api)
191
- DeclaredErrorEffects (CanThrowMany '(e, es) :> api) =
+-- TODO: is this correct?
192
+ DeclaredErrorEffects (CanThrowMany (e ': es) :> api) =
193
DeclaredErrorEffects (CanThrow e :> CanThrowMany es :> api)
194
DeclaredErrorEffects (x :> api) = DeclaredErrorEffects api
195
DeclaredErrorEffects (Named n api) = DeclaredErrorEffects api
0 commit comments