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

clean up constraints

Browse Source
This commit is contained in:
joshvera 2018-09-26 13:58:11 -05:00
parent c6d1626ad1
commit 44d016ceac
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/Control/Abstract/Primitive.hs
View File

@ -108,7 +108,18 @@ instance (Member Fresh effects, Lambda address value effects ret) => Lambda addr
lambda' (var : vars) (body var)
{-# INLINE lambda' #-}
instance (Member (Reader ModuleInfo) effects, Member (Resumable (BaseError (ScopeError address))) effects, Member (Reader Span) effects, Ord address, Member (Allocator address) effects, Member (State (Heap address address value)) effects, Member (Resumable (BaseError (HeapError address))) effects, Member Fresh effects, Member (Function address value) effects, Member (State (ScopeGraph address)) effects) => Lambda address value effects (Evaluator address value effects address) where
instance ( Member (Allocator address) effects
, Member (Function address value) effects
, Member (Reader ModuleInfo) effects
, Member (Reader Span) effects
, Member (Resumable (BaseError (HeapError address))) effects
, Member (Resumable (BaseError (ScopeError address))) effects
, Member (State (Heap address address value)) effects
, Member (State (ScopeGraph address)) effects
, Member Fresh effects
, Ord address
)
=> Lambda address value effects (Evaluator address value effects value) where
lambda' vars action = do
name <- Name.gensym
span <- ask @Span -- TODO: This span is probably wrong