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)
A bit yukky; see Note [Runtime skolems] in TcErrors.
But it works, and the debugger just is yukky in places.


No differences found