From: Simon Peyton Jones Date: Mon, 9 May 2011 10:46:03 +0000 (+0100) Subject: Don't discard usage info from coercion bindings! X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=3d56d5ae395675717d695172cacdd61c1565c42d Don't discard usage info from coercion bindings! --- 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, [])