github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity

Realign a thing.

Browse Source
This commit is contained in:
Rob Rix 2018-03-23 20:39:09 -04:00
parent ca9476000b
commit 0b0bf455d4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Control/Abstract/Analysis.hs
View File

@ -111,7 +111,7 @@ evaluateModules (m:ms) = withModules ms (evaluateModule m)
-- | Lift a 'SubtermAlgebra' for an underlying analysis into a containing analysis. Use this when defining an analysis which can be composed onto other analyses to ensure that a call to 'analyzeTerm' occurs in the inner analysis and not the outer one.
liftAnalyze :: ( Coercible ( m term value effects value) (t m term value (effects :: [* -> *]) value)
, Coercible (t m term value effects value) ( m term value effects value)
, Coercible (t m term value effects value) ( m term value effects value)
)
=> ((base (Subterm term (outer value)) -> m term value effects value) -> (base (Subterm term (outer value)) -> m term value effects value))
-> ((base (Subterm term (outer value)) -> t m term value effects value) -> (base (Subterm term (outer value)) -> t m term value effects value))