X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FsimplCore%2FOccurAnal.lhs;h=ba7d19295b83da21329ef12b160828fb3e4698a5;hp=c593e81eb668faa151fb31f1fc24a08bb3d93230;hb=febf1ced754a3996ac1a5877dcded87828560d1c;hpb=fdf8656855d26105ff36bdd24d41827b05037b91 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, [])