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

Don't parameterize MonadThrow by v

Browse Source
This commit is contained in:
joshvera 2018-03-22 19:08:39 -04:00
parent 3b40f0af96
commit 6ca8eca85f
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/Control/Abstract/Evaluator.hs
View File

@ -149,5 +149,5 @@ class Monad m => MonadControl term m where
-- | “Jump” to a previously-allocated 'Label' (retrieving the @term@ at which it points, which can then be evaluated in e.g. a 'MonadAnalysis' instance). -- | “Jump” to a previously-allocated 'Label' (retrieving the @term@ at which it points, which can then be evaluated in e.g. a 'MonadAnalysis' instance).
goto :: Label -> m term goto :: Label -> m term
class Monad m => MonadThrow exc v m | m -> exc where class Monad m => MonadThrow exc m where
throwException :: exc -> m v throwException :: exc v -> m v