From 6ca8eca85fd9b8e5f22515599db485b6f1c95740 Mon Sep 17 00:00:00 2001 From: joshvera Date: Thu, 22 Mar 2018 19:08:39 -0400 Subject: [PATCH] Don't parameterize MonadThrow by v --- src/Control/Abstract/Evaluator.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Control/Abstract/Evaluator.hs b/src/Control/Abstract/Evaluator.hs index 9d0bc7f42..ea451b520 100644 --- a/src/Control/Abstract/Evaluator.hs +++ b/src/Control/Abstract/Evaluator.hs @@ -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). goto :: Label -> m term -class Monad m => MonadThrow exc v m | m -> exc where - throwException :: exc -> m v +class Monad m => MonadThrow exc m where + throwException :: exc v -> m v