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

Rename inner to moduleEffects.

Browse Source
This commit is contained in:
Rob Rix 2018-07-24 10:18:37 -04:00
parent 172f699c21
commit 8e16b96e8e
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -70,7 +70,7 @@ class (Show1 constr, Foldable constr) => Evaluatable constr where
rvalBox v
evaluate :: ( AbstractValue address value inner
evaluate :: ( AbstractValue address value moduleEffects
, Addressable address (Reader ModuleInfo ': effects)
, Declarations term
, Effects effects
@ -94,11 +94,11 @@ evaluate :: ( AbstractValue address value inner
, Recursive term
, Reducer value (Cell address value)
, ValueRoots address value
, inner ~ (Exc (LoopControl address) ': Exc (Return address) ': Env address ': Allocator address value ': Reader ModuleInfo ': effects)
, moduleEffects ~ (Exc (LoopControl address) ': Exc (Return address) ': Env address ': Allocator address value ': Reader ModuleInfo ': effects)
)
=> proxy lang
-> (SubtermAlgebra Module term (TermEvaluator term address value inner address) -> SubtermAlgebra Module term (TermEvaluator term address value inner address))
-> (SubtermAlgebra (Base term) term (TermEvaluator term address value inner (ValueRef address)) -> SubtermAlgebra (Base term) term (TermEvaluator term address value inner (ValueRef address)))
-> (SubtermAlgebra Module term (TermEvaluator term address value moduleEffects address) -> SubtermAlgebra Module term (TermEvaluator term address value moduleEffects address))
-> (SubtermAlgebra (Base term) term (TermEvaluator term address value moduleEffects (ValueRef address)) -> SubtermAlgebra (Base term) term (TermEvaluator term address value moduleEffects (ValueRef address)))
-> [Module term]
-> TermEvaluator term address value effects (ModuleTable (NonEmpty (Module (Environment address, address))))
evaluate lang analyzeModule analyzeTerm modules = do