21 May
2004
21 May
'04
4:29 a.m.
On 10/05/2004, at 6:29 PM, Simon Peyton-Jones wrote:
Not at present. It's actually a little trickier than it looks, because the post-type-checked program (with the splices expanded) has dictionary stuff floating around, and it's not entirely straightforward to convert it back to vanilla source Haskell. You're right it would be useful. I think it's feasible with a bit of work. I'd be willing to help anyone who wanted to undertake it.
I wouldn't mind having a look at this. If you could tell me a little about the purpose of the dictionary stuff I'd be willing to have a go at adding this feature. Sean