mirror of
https://github.com/github/semantic.git
synced 2025-01-05 22:28:10 +03:00
Functor laws.
This commit is contained in:
parent
a8d03f2f3e
commit
0d3dadb143
@ -31,8 +31,8 @@ doRequire :: MonadEvaluatable location term value m
|
|||||||
doRequire name = do
|
doRequire name = do
|
||||||
moduleTable <- getModuleTable
|
moduleTable <- getModuleTable
|
||||||
case ModuleTable.lookup name moduleTable of
|
case ModuleTable.lookup name moduleTable of
|
||||||
Nothing -> (,) <$> (fst <$> load name) <*> boolean True
|
Nothing -> (,) . fst <$> load name <*> boolean True
|
||||||
Just (env, _) -> (,) <$> pure env <*> boolean False
|
Just (env, _) -> (,) env <$> boolean False
|
||||||
|
|
||||||
|
|
||||||
newtype Load a = Load { loadArgs :: [a] }
|
newtype Load a = Load { loadArgs :: [a] }
|
||||||
|
Loading…
Reference in New Issue
Block a user