Merge branch 'ticket-7442' of git://github.com/phonohawk/ghc
authorIan Lynagh <ian@well-typed.com>
Sun, 2 Dec 2012 12:55:35 +0000 (12:55 +0000)
committerIan Lynagh <ian@well-typed.com>
Sun, 2 Dec 2012 12:55:35 +0000 (12:55 +0000)

Trivial merge