From 32d89acbbe245eeae9dbffd0022ad8aa6b45d440 Mon Sep 17 00:00:00 2001 From: Timothy Clem Date: Mon, 5 Mar 2018 19:32:03 -0800 Subject: [PATCH] Not using this --- src/Data/Abstract/Value.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Data/Abstract/Value.hs b/src/Data/Abstract/Value.hs index d3162827b..75c85f2bc 100644 --- a/src/Data/Abstract/Value.hs +++ b/src/Data/Abstract/Value.hs @@ -94,7 +94,6 @@ class ValueRoots l v | v -> l where instance (FreeVariables term, Ord location) => ValueRoots location (Value location term) where valueRoots v | Just (Closure names body env) <- prj v = envRoots env (foldr Set.delete (freeVariables body) names) - | Just (Interface _ env) <- prj v = envAll env | otherwise = mempty instance ValueRoots Monovariant Type.Type where