From 5647df2a165ece27ba1f131258d6ad0fc5efe822 Mon Sep 17 00:00:00 2001 From: joshvera Date: Fri, 2 Nov 2018 16:17:43 -0400 Subject: [PATCH] remove instance sigs --- src/Data/Abstract/Evaluatable.hs | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/src/Data/Abstract/Evaluatable.hs b/src/Data/Abstract/Evaluatable.hs index 4fc1da253..c4e587070 100644 --- a/src/Data/Abstract/Evaluatable.hs +++ b/src/Data/Abstract/Evaluatable.hs @@ -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)