github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00
Code Issues Projects Releases Wiki Activity

Use ScopedTypeVariables to allow type applications against erroring.

Browse Source
This commit is contained in:
Rob Rix 2018-05-04 19:38:14 -04:00
parent f83b002e78
commit 1e173c4f2c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Analysis/Abstract/Erroring.hs
View File

@ -1,4 +1,4 @@
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE ScopedTypeVariables, TypeOperators #-}
module Analysis.Abstract.Erroring
( erroring
) where
@ -6,5 +6,5 @@ module Analysis.Abstract.Erroring
import Control.Effect
import Control.Monad.Effect.Resumable
erroring :: Effectful m => m (Resumable exc ': effects) result -> m effects (Either (SomeExc exc) result)
erroring :: forall exc m effects result . Effectful m => m (Resumable exc ': effects) result -> m effects (Either (SomeExc exc) result)
erroring = raiseHandler runError