Sharing analysis

[Stefan Holdermans]

Dear all,

Does GHC (still) perform sharing analysis as described in 'Once Upon  
a Polymorphic Type' [2] and/or Keith Wansbrough's PhD thesis [1]? If  
so, how does one inspect the results of the analysis?

Thanks in advance,

   Stefan

-----
[1] Keith Wansbrough. Simple Polymorphic Usage Analysis. Ph.D.  
thesis, University of Cambridge, 2002.

[2] Keith Wansbrough and Simon Peyton Jones. Once upon a polymorphic  
type. In POPL ’99, Proceedings of the 26th ACM SIGPLAN-SIGACT  
Symposium on Principles of Programming Languages, January 20–22,  
1999, San Antonio, TX, pages 15–18. ACM Press, 1999.