github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity

Generalize runHeap over the term type.

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

2
semantic-core/src/Analysis/Concrete.hs
View File

@ -151,7 +151,7 @@ lookupConcrete heap name = run . evalState IntSet.empty . runNonDet . inConcrete
maybeA = maybe empty pure
runHeap :: StateC (Heap (Term (Core.Ann :+: Core.Core) User)) m a -> m (Heap (Term (Core.Ann :+: Core.Core) User), a)
runHeap :: StateC (Heap term) m a -> m (Heap term, a)
runHeap = runState mempty