summaryrefslogtreecommitdiff
path: root/compiler/GHC/Iface/Syntax.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Iface/Syntax.hs')
-rw-r--r--compiler/GHC/Iface/Syntax.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Iface/Syntax.hs b/compiler/GHC/Iface/Syntax.hs
index 892cdc7cb7..e88216d522 100644
--- a/compiler/GHC/Iface/Syntax.hs
+++ b/compiler/GHC/Iface/Syntax.hs
@@ -1728,6 +1728,7 @@ freeNamesIfProv free_names (IfacePhantomProv co) = free_names co
freeNamesIfProv free_names (IfaceProofIrrelProv co) = free_names co
freeNamesIfProv _ (IfacePluginProv _) = emptyNameSet
freeNamesIfProv _ (IfaceCorePrepProv _) = emptyNameSet
+freeNamesIfProv _ (IfaceZappedProv {}) = emptyNameSet
freeNamesIfVarBndr :: VarBndr IfaceBndr vis -> NameSet
freeNamesIfVarBndr (Bndr bndr _) = freeNamesIfBndr bndr