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

Remove redundant constraints from the Evaluatable instance for [].

Browse Source
This commit is contained in:
Rob Rix 2018-02-27 17:23:02 -05:00
parent b6e7163c5b
commit 463f2a4ae9
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Control/Monad/Effect/Evaluatable.hs
View File

@ -57,9 +57,6 @@ instance ( Ord (LocationFor v)
, Show (LocationFor v) , Show (LocationFor v)
, (State (EnvironmentFor v) :< es) , (State (EnvironmentFor v) :< es)
, (Reader (EnvironmentFor v) :< es) , (Reader (EnvironmentFor v) :< es)
, FreeVariables t
, Evaluatable es t v (Base t)
, Recursive t
) )
=> Evaluatable es t v [] where => Evaluatable es t v [] where
eval [] = pure unit -- Return unit value if this is an empty list of terms eval [] = pure unit -- Return unit value if this is an empty list of terms