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

Include constraints

Browse Source
This commit is contained in:
joshvera 2018-08-08 16:29:49 -04:00
parent 44ac28510c
commit 2a0e00e1b0
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Control/Abstract/PythonPackage.hs
View File

@ -7,8 +7,7 @@ import Control.Abstract.Heap (Allocator, Deref, deref)
import Control.Abstract.Value import Control.Abstract.Value
import Control.Monad.Effect (Effectful (..)) import Control.Monad.Effect (Effectful (..))
import qualified Control.Monad.Effect as Eff import qualified Control.Monad.Effect as Eff
import Data.Abstract.Evaluatable (Env, Evaluator, Fresh, PackageInfo, Resumable, State, get, put) import Data.Abstract.Evaluatable
import Data.Abstract.Module hiding (Module)
import Data.Abstract.Name (name) import Data.Abstract.Name (name)
import Data.Abstract.Path (stripQuotes) import Data.Abstract.Path (stripQuotes)
import Data.Abstract.Value.Concrete (Value (..), ValueError (..)) import Data.Abstract.Value.Concrete (Value (..), ValueError (..))
@ -22,7 +21,7 @@ data Strategy = Unknown | Packages [Text] | FindPackages [Text]
runPythonPackaging :: forall effects address body a. ( runPythonPackaging :: forall effects address body a. (
Eff.PureEffects effects Eff.PureEffects effects
, Show address , Show address
, Member (Resumable (ValueError address body)) effects , Member (Resumable (BaseError (ValueError address body))) effects
, Member Fresh effects , Member Fresh effects
, Coercible body (Eff.Eff effects) , Coercible body (Eff.Eff effects)
, Member (State Strategy) effects , Member (State Strategy) effects
@ -33,6 +32,7 @@ runPythonPackaging :: forall effects address body a. (
, Member (Eff.Exc (Return address)) effects , Member (Eff.Exc (Return address)) effects
, Member (Eff.Reader ModuleInfo) effects , Member (Eff.Reader ModuleInfo) effects
, Member (Eff.Reader PackageInfo) effects , Member (Eff.Reader PackageInfo) effects
, Member (Eff.Reader Span) effects
, Member (Function address (Value address body)) effects) , Member (Function address (Value address body)) effects)
=> Evaluator address (Value address body) effects a => Evaluator address (Value address body) effects a
-> Evaluator address (Value address body) effects a -> Evaluator address (Value address body) effects a