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

Import graphs don’t need to collect the set of addresses in scope when abstracting.

Browse Source
This commit is contained in:
Rob Rix 2019-07-29 12:11:54 -04:00
parent 9acaaaedc0
commit 65e218417f
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
semantic-core/src/Analysis/ImportGraph.hs
View File

@ -43,7 +43,7 @@ instance Monoid Value where
mempty = Value Abstract mempty
data Semi
= Closure Loc User (Term (Core.Ann :+: Core.Core) User) (Set.Set User)
= Closure Loc User (Term (Core.Ann :+: Core.Core) User)
-- FIXME: Bound String values.
| String Text
| Abstract
@ -86,9 +86,8 @@ importGraphAnalysis = Analysis{..}
assign addr ty = modify (Map.insertWith (<>) addr (Set.singleton ty))
abstract _ name body = do
loc <- ask
env <- gets @(Heap User Value) Map.keysSet
pure (Value (Closure loc name body env) mempty)
apply eval (Value (Closure loc name body _) _) a = local (const loc) $ do
pure (Value (Closure loc name body) mempty)
apply eval (Value (Closure loc name body) _) a = local (const loc) $ do
addr <- alloc name
assign addr a
bind name addr (eval body)