This repository was archived by the owner on Apr 1, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
semantic-core/src/Analysis Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -103,7 +103,7 @@ importGraphAnalysis = Analysis{..}
103103 bind _ _ m = m
104104 lookupEnv = pure . Just
105105 deref addr = gets (Map. lookup addr >=> nonEmpty . Set. toList) >>= maybe (pure Nothing ) (foldMapA (pure . Just ))
106- assign addr ty = modify (Map. insertWith (<>) addr (Set. singleton ty ))
106+ assign addr v = modify (Map. insertWith (<>) addr (Set. singleton v ))
107107 abstract _ name body = do
108108 loc <- ask
109109 pure (Value (Closure loc name body) mempty )
Original file line number Diff line number Diff line change @@ -93,7 +93,7 @@ scopeGraphAnalysis = Analysis{..}
9393 local (Map. insert name loc) m
9494 lookupEnv = pure . Just
9595 deref addr = gets (Map. lookup addr >=> nonEmpty . Set. toList) >>= maybe (pure Nothing ) (foldMapA (pure . Just ))
96- assign addr ty = modify (Map. insertWith (<>) addr (Set. singleton ty ))
96+ assign addr v = modify (Map. insertWith (<>) addr (Set. singleton v ))
9797 abstract eval name body = do
9898 addr <- alloc name
9999 assign name (mempty @ ScopeGraph )
You can’t perform that action at this time.
0 commit comments