github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 18:06:14 +03:00
Code Issues Projects Releases Wiki Activity

Define an Interpreter instance for BadModuleResolutions.

Browse Source
This commit is contained in:
Rob Rix 2018-04-24 18:39:21 -04:00
parent 5df26fd4a9
commit ef4ed428cf
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Analysis/Abstract/BadModuleResolutions.hs
View File

@ -2,6 +2,7 @@
module Analysis.Abstract.BadModuleResolutions where
import Control.Abstract.Analysis
import Control.Monad.Effect.Internal hiding (interpret)
import Data.Abstract.Evaluatable
import Prologue
@ -26,3 +27,9 @@ instance ( Effectful m
TypeScriptError nameToResolve -> yield nameToResolve)
analyzeModule = liftAnalyze analyzeModule
instance Interpreter effects result rest m
=> Interpreter (Resumable (ResolutionError value) ': effects) result rest (BadModuleResolutions m) where
interpret = interpret . raise @m . relay pure (\ (Resumable err) yield -> case err of
RubyError nameToResolve -> yield nameToResolve
TypeScriptError nameToResolve -> yield nameToResolve) . lower