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

Generalize convergeTerm over the term type.

Browse Source
This commit is contained in:
Rob Rix 2019-07-29 11:58:44 -04:00
parent 05fa90ef84
commit fdc20a4256
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -29,22 +29,22 @@ newtype FrameId name = FrameId { unFrameId :: name }
deriving (Eq, Ord, Show)
convergeTerm :: forall m sig a name address proxy
convergeTerm :: forall m sig a term address proxy
. ( Carrier sig m
, Effect sig
, Eq address
, Member Fresh sig
, Member (State (Heap address a)) sig
, Ord a
, Ord name
, Ord term
)
=> proxy address
-> (Term (Core.Ann :+: Core.Core) name -> NonDetC (ReaderC (Cache (Term (Core.Ann :+: Core.Core) name) a) (StateC (Cache (Term (Core.Ann :+: Core.Core) name) a) m)) a)
-> Term (Core.Ann :+: Core.Core) name
-> (term -> NonDetC (ReaderC (Cache term a) (StateC (Cache term a) m)) a)
-> term
-> m (Set.Set a)
convergeTerm _ eval body = do
heap <- get
(cache, _) <- converge (Cache Map.empty :: Cache (Term (Core.Ann :+: Core.Core) name) a, heap :: Heap address a) $ \ (prevCache, _) -> runState (Cache Map.empty) . runReader prevCache $ do
(cache, _) <- converge (Cache Map.empty :: Cache term a, heap :: Heap address a) $ \ (prevCache, _) -> runState (Cache Map.empty) . runReader prevCache $ do
_ <- resetFresh . runNonDetM Set.singleton $ eval body
get
pure (fromMaybe mempty (Map.lookup body (unCache cache)))