github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 12:51:52 +03:00
Code Issues Projects Releases Wiki Activity

🔥 some unnecessary ScopedTypeVariables.

Browse Source
This commit is contained in:
Rob Rix 2018-03-23 20:20:23 -04:00
parent ce8a3a6d5d
commit e5d45edfb5
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Control/Abstract/Analysis.hs
View File

@ -167,8 +167,7 @@ require name = getModuleTable >>= maybe (load name) pure . moduleTableLookup nam
-- | Load another module by name and return it's environment and value.
--
-- Always loads/evaluates.
load :: forall term value m
. MonadEvaluatable term value m
load :: MonadEvaluatable term value m
=> ModuleName
-> m (EnvironmentFor value, value)
load name = askModuleTable >>= maybe notFound evalAndCache . moduleTableLookup name
@ -183,7 +182,7 @@ load name = askModuleTable >>= maybe notFound evalAndCache . moduleTableLookup n
pure (env <> env', v')
evalAndCache' x = do
v <- evaluateModule x :: m value
v <- evaluateModule x
env <- filterEnv <$> getExports <*> getEnv
modifyModuleTable (moduleTableInsert name (env, v))
pure (env, v)