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

Update the flow-insensitive analysis.

Browse Source
This commit is contained in:
Rob Rix 2019-10-04 18:25:02 -04:00
parent e254bcbea4
commit 13d8eca026
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 9 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
semantic-core/src/Analysis/FlowInsensitive.hs
View File

@ -8,14 +8,13 @@ module Analysis.FlowInsensitive
, foldMapA
) where
import Control.Effect
import Control.Carrier
import Control.Carrier.NonDet.Church
import Control.Carrier.Reader
import Control.Carrier.State.Strict
import Control.Effect.Fresh
import Control.Effect.NonDet
import Control.Effect.Reader
import Control.Effect.State
import qualified Data.Map as Map
import Data.Maybe (fromMaybe)
import Data.Monoid (Alt(..))
import qualified Data.Set as Set
newtype Cache term a = Cache { unCache :: Map.Map term (Set.Set a) }
@ -28,11 +27,10 @@ newtype FrameId name = FrameId { unFrameId :: name }
convergeTerm :: forall m sig a term address proxy
. ( Carrier sig m
, Effect sig
. ( Effect sig
, Eq address
, Member Fresh sig
, Member (State (Heap address a)) sig
, Has Fresh sig m
, Has (State (Heap address a)) sig m
, Ord a
, Ord term
)
@ -49,9 +47,8 @@ convergeTerm _ eval body = do
cacheTerm :: forall m sig a term
. ( Alternative m
, Carrier sig m
, Member (Reader (Cache term a)) sig
, Member (State (Cache term a)) sig
, Has (Reader (Cache term a)) sig m
, Has (State (Cache term a)) sig m
, Ord a
, Ord term
)