Fix debugger
authorsimonpj@microsoft.com <unknown>
Tue, 19 Oct 2010 15:35:22 +0000 (15:35 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 19 Oct 2010 15:35:22 +0000 (15:35 +0000)
commit038a429f51ad0625ea6bb31a94a40b2aeaeebca6
treeb8b6706f46b3d4f10fba12a77b82a0142cd4c1a2
parent921d73679d8238a16878fce91b656b129ba2b8b4
Fix debugger

A bit yukky; see Note [Runtime skolems] in TcErrors.
But it works, and the debugger just is yukky in places.
compiler/typecheck/TcErrors.lhs
compiler/typecheck/TcType.lhs