github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00
Code Issues Projects Releases Wiki Activity

Reformat the signature for eval.

Browse Source
This commit is contained in:
Rob Rix 2019-07-18 22:00:45 -04:00
parent 01c963069e
commit f81384767a
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
semantic-core/src/Analysis/Eval.hs
View File

@ -26,7 +26,13 @@ import Data.Text (Text)
import GHC.Stack import GHC.Stack
import Prelude hiding (fail) 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 eval Analysis{..} eval = \case
Var n -> lookupEnv' n >>= deref' n Var n -> lookupEnv' n >>= deref' n
Term c -> case c of Term c -> case c of