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

Inline the Loc into Semi.

Browse Source
This commit is contained in:
Rob Rix 2019-10-10 13:44:00 -04:00
parent e949f88517
commit 5dd2b1185d
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -42,7 +42,7 @@ instance Monoid (Value term) where
mempty = Value Abstract mempty
data Semi term
= Closure Loc Name term
= Closure Path Span Name term
-- FIXME: Bound String values.
| String Text
| Abstract
@ -108,9 +108,10 @@ importGraphAnalysis = Analysis{..}
deref addr = gets (Map.lookup addr >=> nonEmpty . Set.toList) >>= maybe (pure Nothing) (foldMapA (pure . Just))
assign addr v = modify (Map.insertWith (<>) addr (Set.singleton v))
abstract _ name body = do
loc <- askLoc
pure (Value (Closure loc name body) mempty)
apply eval (Value (Closure (Loc path span) name body) _) a = local (const path) . local (const span) $ do
path <- ask
span <- ask
pure (Value (Closure path span name body) mempty)
apply eval (Value (Closure path span name body) _) a = local (const path) . local (const span) $ do
addr <- alloc name
assign addr a
bind name addr (eval body)
@ -127,5 +128,3 @@ importGraphAnalysis = Analysis{..}
assign addr v
pure (Value Abstract (foldMap (valueGraph . snd) fields))
_ ... m = pure (Just m)
askLoc = Loc <$> ask <*> ask