mirror of
https://github.com/github/semantic.git
synced 2024-12-01 09:15:01 +03:00
🔥 a bunch of redundant bindings.
This commit is contained in:
parent
c16385e20f
commit
9420d5cc96
@ -70,7 +70,7 @@ instance ( Carrier sig m
|
||||
| Just e <- prj op = wrap $ case handleCoercible e of
|
||||
Call callName params k -> Evaluator . k =<< do
|
||||
case callName of
|
||||
Closure _ _ name' paramNames _ scope parentFrame -> do
|
||||
Closure _ _ name' paramNames _ _ _ -> do
|
||||
let bindings = foldr (uncurry Map.insert) lowerBound (zip paramNames params)
|
||||
let asStrings = asArray >=> traverse asString
|
||||
|
||||
|
@ -105,7 +105,7 @@ instance ( FreeVariables term
|
||||
let closure = Closure packageInfo moduleInfo (Just name) names (Right body) associatedScope currentFrame'
|
||||
assign address closure
|
||||
Evaluator $ runFunctionC (k (Rval closure)) eval
|
||||
Abstract.BuiltIn name builtIn k -> runEvaluator $ do
|
||||
Abstract.BuiltIn _ builtIn k -> runEvaluator $ do
|
||||
packageInfo <- currentPackage
|
||||
moduleInfo <- currentModule
|
||||
|
||||
|
@ -264,7 +264,7 @@ instance Evaluatable QualifiedAliasedImport where
|
||||
|
||||
withScopeAndFrame objFrame $
|
||||
for_ modulePaths $ \modulePath -> do
|
||||
((moduleScope, moduleFrame), val) <- require modulePath
|
||||
((moduleScope, moduleFrame), _) <- require modulePath
|
||||
insertImportEdge moduleScope
|
||||
insertFrameLink ScopeGraph.Import (Map.singleton moduleScope moduleFrame)
|
||||
|
||||
|
@ -82,7 +82,7 @@ instance Show1 SideEffectImport where liftShowsPrec = genericLiftShowsPrec
|
||||
instance Evaluatable SideEffectImport where
|
||||
eval _ (SideEffectImport importPath) = do
|
||||
modulePath <- resolveWithNodejsStrategy importPath typescriptExtensions
|
||||
(scopeGraph, _) <- require modulePath
|
||||
void $ require modulePath
|
||||
rvalBox unit
|
||||
|
||||
|
||||
|
@ -444,9 +444,9 @@ resumingScopeError :: ( Carrier sig m
|
||||
=> Evaluator term address value (ResumableWithC (BaseError (ScopeError address)) (Eff m)) a
|
||||
-> Evaluator term address value m a
|
||||
resumingScopeError = runScopeErrorWith (\ baseError -> traceError "ScopeError" baseError *> case baseErrorException baseError of
|
||||
ScopeError decl span -> pure hole
|
||||
ScopeError _ _ -> pure hole
|
||||
LookupScopeError -> pure hole
|
||||
LookupPathError decl -> pure hole
|
||||
LookupPathError _ -> pure hole
|
||||
CurrentScopeError -> pure hole
|
||||
LookupDeclarationScopeError _ -> pure hole)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user