github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 04:10:29 +03:00
Code Issues Projects Releases Wiki Activity

Use an empty graph when resuming a load error

Browse Source
This commit is contained in:
joshvera 2018-09-13 17:41:45 -04:00
parent 82db9f805e
commit f902cac04f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Semantic/Graph.hs
View File

@ -40,6 +40,7 @@ import Data.Abstract.Evaluatable
import Data.Abstract.Module import Data.Abstract.Module
import qualified Data.Abstract.ModuleTable as ModuleTable import qualified Data.Abstract.ModuleTable as ModuleTable
import Data.Abstract.Package as Package import Data.Abstract.Package as Package
import qualified Data.Abstract.ScopeGraph as ScopeGraph
import Data.Abstract.Value.Abstract as Abstract import Data.Abstract.Value.Abstract as Abstract
import Data.Abstract.Value.Concrete as Concrete import Data.Abstract.Value.Concrete as Concrete
(Value, ValueError (..), runBoolean, runFunction, runValueErrorWith) (Value, ValueError (..), runBoolean, runFunction, runValueErrorWith)
@ -354,7 +355,7 @@ resumingLoadError :: ( Applicative (m address value effects)
=> m address value (Resumable (BaseError (LoadError address)) ': effects) a => m address value (Resumable (BaseError (LoadError address)) ': effects) a
-> m address value effects a -> m address value effects a
resumingLoadError = runLoadErrorWith (\ baseError -> traceError "LoadError" baseError *> case baseErrorException baseError of resumingLoadError = runLoadErrorWith (\ baseError -> traceError "LoadError" baseError *> case baseErrorException baseError of
ModuleNotFoundError _ -> pure (undefined, (lowerBound, hole))) ModuleNotFoundError _ -> pure (ScopeGraph.emptyGraph, (lowerBound, hole)))
resumingEvalError :: ( Applicative (m effects) resumingEvalError :: ( Applicative (m effects)
, Effectful m , Effectful m