github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity

Extract the Precise-specific handler for Allocator.

Browse Source
This commit is contained in:
Rob Rix 2018-08-13 09:16:14 -04:00
parent 6506aeef36
commit 3902cbfd2d
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Data/Abstract/Address/Precise.hs
View File

@ -29,7 +29,10 @@ runAllocator :: ( Member Fresh effects
) )
=> Evaluator Precise value (Allocator Precise ': effects) a => Evaluator Precise value (Allocator Precise ': effects) a
-> Evaluator Precise value effects a -> Evaluator Precise value effects a
runAllocator = interpret $ \ (Alloc _) -> Precise <$> fresh runAllocator = interpret handleAllocator
handleAllocator :: Member Fresh effects => Allocator Precise (Eff (Allocator Precise ': effects)) a -> Evaluator Precise value effects a
handleAllocator (Alloc _) = Precise <$> fresh
runDeref :: PureEffects effects runDeref :: PureEffects effects
=> Evaluator Precise value (Deref Precise value ': effects) a => Evaluator Precise value (Deref Precise value ': effects) a