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 Deref.

Browse Source
This commit is contained in:
Rob Rix 2018-08-13 09:17:47 -04:00
parent 3902cbfd2d
commit 137aabc77a
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -37,6 +37,8 @@ handleAllocator (Alloc _) = Precise <$> fresh
runDeref :: PureEffects effects
=> Evaluator Precise value (Deref Precise value ': effects) a
-> Evaluator Precise value effects a
runDeref = interpret $ \case
DerefCell _ cell -> pure (fst <$> Set.minView cell)
AssignCell _ value _ -> pure (Set.singleton value)
runDeref = interpret handleDeref
handleDeref :: Deref Precise value (Eff (Deref Precise value ': effects)) a -> Evaluator Precise value effects a
handleDeref (DerefCell _ cell) = pure (fst <$> Set.minView cell)
handleDeref (AssignCell _ value _) = pure (Set.singleton value)