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

remove redundant constraints

Browse Source
This commit is contained in:
Charlie Somerville 2018-07-11 15:20:35 +10:00
parent ab4956dfa6
commit 301aca987e
2 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Analysis/Abstract/Caching.hs
View File

@ -77,7 +77,6 @@ cachingTerms recur term = do
convergingModules :: ( AbstractValue address value effects convergingModules :: ( AbstractValue address value effects
, Cacheable term address (Cell address) value , Cacheable term address (Cell address) value
, Member (Allocator address value) effects
, Member Fresh effects , Member Fresh effects
, Member NonDet effects , Member NonDet effects
, Member (Reader (Cache term address (Cell address) value)) effects , Member (Reader (Cache term address (Cell address) value)) effects

2
src/Control/Abstract/Value.hs
View File

@ -233,7 +233,6 @@ subtermValue = value <=< subtermRef
-- | Returns the address of a value referenced by a 'ValueRef' -- | Returns the address of a value referenced by a 'ValueRef'
address :: ( AbstractValue address value effects address :: ( AbstractValue address value effects
, Member (Allocator address value) effects
, Member (Env address) effects , Member (Env address) effects
, Member (Resumable (EnvironmentError address)) effects , Member (Resumable (EnvironmentError address)) effects
) )
@ -245,7 +244,6 @@ address (Rval addr) = pure addr
-- | Evaluates a 'Subterm' to the address of its rval -- | Evaluates a 'Subterm' to the address of its rval
subtermAddress :: ( AbstractValue address value effects subtermAddress :: ( AbstractValue address value effects
, Member (Allocator address value) effects
, Member (Env address) effects , Member (Env address) effects
, Member (Resumable (EnvironmentError address)) effects , Member (Resumable (EnvironmentError address)) effects
) )