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

Qualify the import of Analysis.

Browse Source
This commit is contained in:
Rob Rix 2019-11-01 14:46:55 -04:00
parent 2eb80687ea
commit 2ef1a7aa12
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
semantic-analysis/src/Analysis/Concrete.hs
View File

@ -11,7 +11,7 @@ module Analysis.Concrete
import qualified Algebra.Graph as G
import qualified Algebra.Graph.Export.Dot as G
import Analysis.Analysis
import qualified Analysis.Analysis as A
import Analysis.File
import Control.Applicative (Alternative (..))
import Control.Carrier.Fail.WithLoc
@ -74,7 +74,7 @@ concrete
)
=> (forall sig m
. (Carrier sig m, Member (Reader Path.AbsRelFile) sig, Member (Reader Span) sig, MonadFail m)
=> Analysis term name Precise (Concrete term name) m
=> A.Analysis term name Precise (Concrete term name) m
-> (term name -> m (Concrete term name))
-> (term name -> m (Concrete term name))
)
@ -100,7 +100,7 @@ runFile
)
=> (forall sig m
. (Carrier sig m, Member (Reader Path.AbsRelFile) sig, Member (Reader Span) sig, MonadFail m)
=> Analysis term name Precise (Concrete term name) m
=> A.Analysis term name Precise (Concrete term name) m
-> (term name -> m (Concrete term name))
-> (term name -> m (Concrete term name))
)
@ -126,8 +126,8 @@ concreteAnalysis :: ( Carrier sig m
, Show name
, Show (term name)
)
=> Analysis term name Precise (Concrete term name) m
concreteAnalysis = Analysis{..}
=> A.Analysis term name Precise (Concrete term name) m
concreteAnalysis = A.Analysis{..}
where alloc _ = fresh
bind name addr m = local (Map.insert name addr) m
lookupEnv n = asks (Map.lookup n)