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

🔥 a redundant type signature.

Browse Source
This commit is contained in:
Rob Rix 2018-03-08 13:34:33 -05:00
parent bf7b397275
commit abe6415536
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -45,7 +45,6 @@ liftAnalyze :: ( term ~ TermFor m
-> SubtermAlgebra (Base term) term (t m value)
liftAnalyze analyze term = pack1 (analyze (second unpack1 <$> term))
where pack1 = coerce
unpack1 :: Coercible (t m value) (m value) => t m value -> m value
unpack1 = coerce
liftEvaluate :: ( term ~ TermFor m