github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-28 09:21:35 +03:00
Code Issues Projects Releases Wiki Activity

Reformat the signature for concreteAnalysis.

Browse Source
This commit is contained in:
Rob Rix 2019-11-04 14:03:31 -05:00
parent 07568e55a5
commit a667c656a1
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 16 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -117,21 +117,22 @@ runFile eval file = traverse run file
. A.runEnv @name . A.runEnv @name
. fix (eval concreteAnalysis) . fix (eval concreteAnalysis)
concreteAnalysis :: ( Carrier sig m concreteAnalysis
, Foldable term :: ( Carrier sig m
, IsString name , Foldable term
, Member (A.Env name Precise) sig , IsString name
, Member (A.Heap Precise (Concrete term name)) sig , Member (A.Env name Precise) sig
, Member (Reader (Env name)) sig , Member (A.Heap Precise (Concrete term name)) sig
, Member (Reader Path.AbsRelFile) sig , Member (Reader (Env name)) sig
, Member (Reader Span) sig , Member (Reader Path.AbsRelFile) sig
, Member (State (Heap term name)) sig , Member (Reader Span) sig
, MonadFail m , Member (State (Heap term name)) sig
, Ord name , MonadFail m
, Show name , Ord name
, Show (term name) , Show name
) , Show (term name)
=> Analysis term name Precise (Concrete term name) m )
=> Analysis term name Precise (Concrete term name) m
concreteAnalysis = Analysis{..} concreteAnalysis = Analysis{..}
where deref = A.deref where deref = A.deref
assign = A.assign assign = A.assign