Change "cobox" to "co" in debug output
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 6 Oct 2017 12:39:54 +0000 (13:39 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 Oct 2017 10:05:56 +0000 (11:05 +0100)
commit79ae03aa32c277ae93827519ed7738938e3e1572
tree08bc17ad030d05d5446f3184bdac89daaeee8a97
parentc81f66ccafdb4c6c7a09cfaf6819c8797c518491
Change "cobox" to "co" in debug output

These coercions are /not/ boxed, so "cobox" is positively misleading.
And it's longer than necessary.
compiler/typecheck/TcMType.hs