github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-01 19:55:34 +03:00
Code Issues Projects Releases Wiki Activity

Correct the name of the location type parameter.

Browse Source
This commit is contained in:
Rob Rix 2018-05-04 19:06:04 -04:00
parent 88ec9d7230
commit 4c83723fbe
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/Analysis/Abstract/Dead.hs
View File

@ -38,8 +38,8 @@ revivingTerms :: ( Corecursive term
, Ord term , Ord term
, Recursive term , Recursive term
) )
=> SubtermAlgebra (Base term) term (Evaluator located term value effects a) => SubtermAlgebra (Base term) term (Evaluator location term value effects a)
-> SubtermAlgebra (Base term) term (Evaluator located term value effects a) -> SubtermAlgebra (Base term) term (Evaluator location term value effects a)
revivingTerms recur term = revive (embedSubterm term) *> recur term revivingTerms recur term = revive (embedSubterm term) *> recur term
killingModules :: ( Foldable (Base term) killingModules :: ( Foldable (Base term)