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

Sort the context.

Browse Source
This commit is contained in:
Rob Rix 2018-03-08 11:08:32 -05:00
parent 7982b8ddf4
commit ff6f99fbf5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -38,10 +38,10 @@ liftAnalyze :: ( term ~ TermFor m
, term ~ TermFor (t m)
, value ~ ValueFor m
, value ~ ValueFor (t m)
, Coercible (m value) (t m value)
, Coercible (t m value) (m value)
, Functor (Base term)
, MonadAnalysis m
, Coercible (t m value) (m value)
, Coercible (m value) (t m value)
)
=> SubtermAlgebra (Base term) term (t m value)
liftAnalyze term = pack1 (analyzeTerm (second unpack1 <$> term))