Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit f813847

Browse files
committed
Reformat the signature for eval.
1 parent 01c9630 commit f813847

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

semantic-core/src/Analysis/Eval.hs

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,13 @@ import Data.Text (Text)
2626
import GHC.Stack
2727
import Prelude hiding (fail)
2828

29-
eval :: (Carrier sig m, Member (Reader Loc) sig, MonadFail m) => Analysis address value m -> (Term Core User -> m value) -> Term Core User -> m value
29+
eval :: ( Carrier sig m
30+
, Member (Reader Loc) sig
31+
, MonadFail m
32+
)
33+
=> Analysis address value m
34+
-> (Term Core User -> m value)
35+
-> (Term Core User -> m value)
3036
eval Analysis{..} eval = \case
3137
Var n -> lookupEnv' n >>= deref' n
3238
Term c -> case c of

0 commit comments

Comments
 (0)