projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
fe58dd2
)
Don't discard usage info from coercion bindings!
author
Simon Peyton Jones
<simonpj@microsoft.com>
Mon, 9 May 2011 10:46:03 +0000
(11:46 +0100)
committer
Simon Peyton Jones
<simonpj@microsoft.com>
Mon, 9 May 2011 10:46:03 +0000
(11:46 +0100)
compiler/simplCore/OccurAnal.lhs
patch
|
blob
|
history
diff --git
a/compiler/simplCore/OccurAnal.lhs
b/compiler/simplCore/OccurAnal.lhs
index
c593e81
..
ba7d192
100644
(file)
--- 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, [])