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

🔥 state types in FlowInsensitive.

Browse Source
This commit is contained in:
Patrick Thomson 2019-11-08 10:16:20 -05:00
parent edc1894299
commit e041d2440d
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
semantic-analysis/src/Analysis/FlowInsensitive.hs
View File

@ -27,9 +27,8 @@ newtype FrameId name = FrameId { unFrameId :: name }
deriving (Eq, Ord, Show)
convergeTerm :: forall m c sig a term address proxy
. ( Effect c sig
, c ((,) (Cache term a))
convergeTerm :: forall m sig a term address proxy
. ( Effect sig
, Eq address
, Has Fresh sig m
, Has (State (Heap address a)) sig m