Sharing analysis

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.