From f81384767a588501d2f6dacb6776dd07fc6af7a4 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 18 Jul 2019 22:00:45 -0400 Subject: [PATCH] Reformat the signature for eval. --- semantic-core/src/Analysis/Eval.hs | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/semantic-core/src/Analysis/Eval.hs b/semantic-core/src/Analysis/Eval.hs index 80f82be60..ea51804d7 100644 --- a/semantic-core/src/Analysis/Eval.hs +++ b/semantic-core/src/Analysis/Eval.hs @@ -26,7 +26,13 @@ import Data.Text (Text) import GHC.Stack import Prelude hiding (fail) -eval :: (Carrier sig m, Member (Reader Loc) sig, MonadFail m) => Analysis address value m -> (Term Core User -> m value) -> Term Core User -> m value +eval :: ( Carrier sig m + , Member (Reader Loc) sig + , MonadFail m + ) + => Analysis address value m + -> (Term Core User -> m value) + -> (Term Core User -> m value) eval Analysis{..} eval = \case Var n -> lookupEnv' n >>= deref' n Term c -> case c of