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

Simplify an Eval constraint slightly.

Browse Source
This commit is contained in:
Rob Rix 2017-11-28 15:42:57 -05:00
parent c7fbf21802
commit e5f8901851
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Abstract/Interpreter/Caching.hs
View File

@ -98,7 +98,7 @@ evalCache :: forall l v syntax ann
, MonadPrim v (Eff (CachingInterpreter l (Term syntax ann) v)) , MonadPrim v (Eff (CachingInterpreter l (Term syntax ann) v))
, Semigroup (Cell l v) , Semigroup (Cell l v)
, AbstractValue l v , AbstractValue l v
, Eval v (Eff (CachingInterpreter l (Term syntax ann) v)) (TermF syntax ann) , Eval v (Eff (CachingInterpreter l (Term syntax ann) v)) syntax
) )
=> Term syntax ann => Term syntax ann
-> CachingResult l (Term syntax ann) v -> CachingResult l (Term syntax ann) v