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

Just move this down in the file

Browse Source
This commit is contained in:
Timothy Clem 2017-10-13 11:10:42 -07:00
parent 6af0c7d992
commit 2d4c9fcc8a
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/Abstract/Eval.hs
View File

@ -19,13 +19,6 @@ instance ( Monad m
evaluate ev = apply (Proxy :: Proxy (Eval v m s)) (evaluate ev)
class Monad m => MonadGC l a m where
askRoots :: m (Set (Address l a))
extraRoots :: Set (Address l a) -> m b -> m b
-- Collecting evaluator
class Monad m => EvalCollect l v m syntax constr where
evalCollect :: (Term syntax ann -> m v)
@ -41,3 +34,9 @@ instance ( Monad m
)
=> EvalCollect l v m s (Union fs) where
evalCollect ev = apply (Proxy :: Proxy (EvalCollect l v m s)) (evalCollect @l ev)
class Monad m => MonadGC l a m where
askRoots :: m (Set (Address l a))
extraRoots :: Set (Address l a) -> m b -> m b