github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Don’t use EvaluatableConstraints to define evaluatePackageWith.

Browse Source
This commit is contained in:
Rob Rix 2018-06-06 09:57:02 -04:00
parent 6e5222948b
commit 351e819853
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/Data/Abstract/Evaluatable.hs
View File

@ -67,15 +67,20 @@ type EvaluatableConstraints term address value effects =
-- | Evaluate a given package.
evaluatePackageWith :: forall address term value inner inner' inner'' outer
-- FIXME: It’d be nice if we didn’t have to mention 'Addressable' here at all, but 'Located' locations require knowledge of 'currentModule' to run. Can we fix that?
. ( Addressable address inner'
. ( AbstractValue address value inner
-- FIXME: It’d be nice if we didn’t have to mention 'Addressable' here at all, but 'Located' locations require knowledge of 'currentModule' to run. Can we fix that?
, Addressable address inner'
, Declarations term
, Evaluatable (Base term)
, EvaluatableConstraints term address value inner
, Foldable (Cell address)
, FreeVariables term
, Member Fresh outer
, Member (Resumable (AddressError address value)) outer
, Member (Resumable (EnvironmentError address)) outer
, Member (Resumable EvalError) outer
, Member (Resumable (LoadError address value)) outer
, Member (Resumable ResolutionError) outer
, Member (Resumable (Unspecialized value)) outer
, Member (State (Heap address (Cell address) value)) outer
, Member (State (ModuleTable (Maybe (value, Environment address)))) outer
, Member Trace outer