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

remove instance sigs

Browse Source
This commit is contained in:
joshvera 2018-11-02 16:17:43 -04:00
parent cb8a1222c0
commit 5647df2a16
1 changed files with 0 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/Data/Abstract/Evaluatable.hs
View File

@ -113,24 +113,6 @@ instance HasPrelude 'Python where
define (Declaration (X.name "print")) (builtIn Print)
instance HasPrelude 'Ruby where
definePrelude :: forall address value effects proxy. ( AbstractValue address value effects
, HasCallStack
, Member (Allocator address) effects
, Member (State (ScopeGraph address)) effects
, Member (Resumable (BaseError (ScopeError address))) effects
, Member (Resumable (BaseError (HeapError address))) effects
, Member (Deref value) effects
, Member Fresh effects
, Member (Function term address value) effects
, Member (Reader ModuleInfo) effects
, Member (Reader Span) effects
, Member (Resumable (BaseError (AddressError address value))) effects
, Member (State (Heap address address value)) effects
, Member Trace effects
, Ord address
)
=> proxy 'Ruby
-> Evaluator term address value m ()
definePrelude _ = do
define (Declaration (X.name "puts")) (builtIn Print)