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

🔥 redundant Ord constraints.

Browse Source
This commit is contained in:
Rob Rix 2018-02-28 14:28:21 -05:00
parent e0f5e3693c
commit 0d62ca76f7
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Analysis/Abstract/Evaluating.hs
View File

@ -76,8 +76,7 @@ moduleName term = let [n] = toList (freeVariables term) in BC.unpack n
-- | Evaluate a term to a value.
evaluate :: forall v term.
( Ord v
, Ord (LocationFor v)
( Ord (LocationFor v)
, AbstractFunction (Evaluating term v) term v
, Addressable (LocationFor v) (Evaluating term v)
, Evaluatable (Base term)
@ -91,8 +90,7 @@ evaluate = run @(Evaluating term v) . runEvaluator . foldSubterms eval
-- | Evaluate terms and an entry point to a value.
evaluates :: forall v term.
( Ord v
, Ord (LocationFor v)
( Ord (LocationFor v)
, AbstractFunction (Evaluating term v) term v
, Addressable (LocationFor v) (Evaluating term v)
, Evaluatable (Base term)