github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Define assign for types.

Browse Source
This commit is contained in:
Rob Rix 2018-05-23 15:16:56 -04:00
parent b861543d06
commit 5dbba8a92d
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Control/Abstract/Value.hs
View File

@ -68,6 +68,11 @@ lookup' name = Map.lookup name <$> ask
allocType :: Applicative (m Name effects) => Name -> m Name effects Name
allocType = pure
assignType :: (Effectful (m location), Member (State (Map location (Set Type))) effects, Monad (m location effects), Ord location, Show location) => location -> Type -> m location effects ()
assignType addr value = do
cell <- gets (Map.lookup addr) >>= maybeM (pure (Set.empty))
modify' (Map.insert addr (Set.insert value cell))
derefType :: (Alternative (m location effects), Effectful (m location), Members '[Fail, NonDet, State (Map location (Set Type))] effects, Monad (m location effects), Ord location, Show location) => location -> m location effects (Maybe Type)
derefType loc = do
cell <- gets (Map.lookup loc) >>= maybeM (raiseEff (fail ("unallocated address: " <> show loc)))