From 3d56d5ae395675717d695172cacdd61c1565c42d Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Mon, 9 May 2011 11:46:03 +0100 Subject: [PATCH] Don't discard usage info from coercion bindings! --- compiler/simplCore/OccurAnal.lhs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/compiler/simplCore/OccurAnal.lhs b/compiler/simplCore/OccurAnal.lhs index c593e81..ba7d192 100644 --- a/compiler/simplCore/OccurAnal.lhs +++ b/compiler/simplCore/OccurAnal.lhs @@ -101,11 +101,6 @@ occAnalBind env _ (NonRec binder rhs) body_usage | isTyVar binder -- A type let; we don't gather usage info = (body_usage, [NonRec binder rhs]) - | isCoVar binder -- A coercion let; again no usage info - -- We trust that it'll get inlined away - -- as soon as it takes form (cv = Coercion co) - = (body_usage, [NonRec binder rhs]) - | not (binder `usedIn` body_usage) -- It's not mentioned = (body_usage, []) -- 1.7.10.4