From 1a3df3fb621de74009a2f44a41fdfd6ec9fd3a63 Mon Sep 17 00:00:00 2001 From: Steve Dunham Date: Tue, 18 Jun 2024 17:29:08 -0700 Subject: [PATCH] [ cleanup ] remove unused code left by previous change --- src/Core/Termination/CallGraph.idr | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/Core/Termination/CallGraph.idr b/src/Core/Termination/CallGraph.idr index 1acf42a08f..9b318ad3d1 100644 --- a/src/Core/Termination/CallGraph.idr +++ b/src/Core/Termination/CallGraph.idr @@ -105,24 +105,12 @@ mutual do scs <- traverse (findSC defs env Unguarded pats) args pure (concat scs) (Guarded, Ref fc (DataCon _ _) cn, args) => - do Just ty <- lookupTyExact cn (gamma defs) - | Nothing => do - log "totality" 50 $ "Lookup failed" - findSCcall defs env Guarded pats fc cn args findSCcall defs env Guarded pats fc cn args (Toplevel, Ref fc (DataCon _ _) cn, args) => - do Just ty <- lookupTyExact cn (gamma defs) - | Nothing => do - log "totality" 50 $ "Lookup failed" - findSCcall defs env Guarded pats fc cn args findSCcall defs env Guarded pats fc cn args (_, Ref fc Func fn, args) => do logC "totality" 50 $ pure $ "Looking up type of " ++ show !(toFullNames fn) - Just ty <- lookupTyExact fn (gamma defs) - | Nothing => do - log "totality" 50 $ "Lookup failed" - findSCcall defs env Unguarded pats fc fn args findSCcall defs env Unguarded pats fc fn args (_, f, args) => do scs <- traverse (findSC defs env Unguarded pats) args